diff options
Diffstat (limited to 'build/Makefile')
| -rw-r--r-- | build/Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/build/Makefile b/build/Makefile index 4e4b53dd5..de3031269 100644 --- a/build/Makefile +++ b/build/Makefile @@ -80,6 +80,12 @@ SUBCLEAN = $(addsuffix .clean,$(SUBDIRS)) all: @docker version >/dev/null 2>&1 || (echo 'No Docker installation available'; exit 1) @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) + @docker/runcontext $(DOCKERIMG) ping -c 1 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 |