diff options
Diffstat (limited to 'build/Makefile')
| -rw-r--r-- | build/Makefile | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/build/Makefile b/build/Makefile index ca704c0c0..7e4d5a09d 100644 --- a/build/Makefile +++ b/build/Makefile @@ -82,9 +82,8 @@ all: @make -C docker @lsb_release -a | grep Ubuntu > /dev/null 2>&1 || (echo 'Ubuntu is the only supported Linux distribution for this build system'; exit 1) @KERNEL_VER=$$(uname -r); \ - KERNEL_VER="$${KERNEL_VER%.*-*}"; \ - KERNEL_VER="$${KERNEL_VER//.}"; \ - [ $$KERNEL_VER -ge 319 ] || (echo 'Kernel version must be 3.19 or newer'; exit 1) + KERNEL_ARRAY=($${KERNEL_VER//./ }); \ + if [ $${KERNEL_ARRAY[0]} -lt 3 ] || [[ $${KERNEL_ARRAY[0]} -eq 3 && $${KERNEL_ARRAY[1]} -lt 19 ]] ; then (echo 'Kernel version must be 3.19 or newer'; exit 1) ; fi @docker/runcontext $(DOCKERIMG) wget -q www.google.com > /dev/null 2>&1 || (echo 'No docker network connectivity or name server - check your network- and docker settings'; exit 1) @docker/runcontext $(DOCKERIMG) $(MAKE) $(MAKEFLAGS) iso |