From 385614a567bbbf608f72512f54fb2f066c8e79b8 Mon Sep 17 00:00:00 2001 From: Yancey1989 Date: Wed, 5 Apr 2017 11:26:20 +0800 Subject: [PATCH] update --- Dockerfile | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/Dockerfile b/Dockerfile index ee6cc19a7f..0c87638ce0 100644 --- a/Dockerfile +++ b/Dockerfile @@ -7,13 +7,12 @@ ARG UBUNTU_MIRROR RUN /bin/bash -c 'if [[ -n ${UBUNTU_MIRROR} ]]; then sed -i 's#http://archive.ubuntu.com/ubuntu#${UBUNTU_MIRROR}#g' /etc/apt/sources.list; fi' # ENV variables -ARG WOBOQ ARG WITH_GPU ARG WITH_AVX ARG WITH_DOC ARG WITH_STYLE_CHECK -ENV WOBOQ=${WOBOQ:-OFF} +ENV WOBOQ OFF ENV WITH_GPU=${WITH_AVX:-OFF} ENV WITH_AVX=${WITH_AVX:-ON} ENV WITH_DOC=${WITH_DOC:-OFF} -- GitLab