diff options
Diffstat (limited to 'build')
| -rw-r--r-- | build/Makefile | 2 | ||||
| -rw-r--r-- | build/docker/Dockerfile | 1 |
2 files changed, 2 insertions, 1 deletions
diff --git a/build/Makefile b/build/Makefile index 01f6e414a..a76c44ee2 100644 --- a/build/Makefile +++ b/build/Makefile @@ -85,7 +85,7 @@ all: 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) 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 diff --git a/build/docker/Dockerfile b/build/docker/Dockerfile index b7ef6d3a7..44ba74790 100644 --- a/build/docker/Dockerfile +++ b/build/docker/Dockerfile @@ -13,6 +13,7 @@ FROM ubuntu:14.04 ENV http_proxy INSERT_HTTP_PROXY ENV https_proxy INSERT_HTTPS_PROXY ENV no_proxy INSERT_NO_PROXY +ENV DEBIAN_FRONTEND noninteractive RUN apt-get update RUN apt-get install -y software-properties-common python-software-properties \ |