diff -r af09413deb72 -r a3ac1ea611ce contrib/dockerlib.sh
--- a/contrib/dockerlib.sh	Thu Jul 27 14:15:26 2017 +0200
+++ b/contrib/dockerlib.sh	Thu Jul 27 13:44:15 2017 +0200
@@ -38,5 +38,5 @@
         echo RUN groupadd $DBUILDUSER -g `id -g` -o
         echo RUN useradd $DBUILDUSER -u `id -u` -g $DBUILDUSER -o
     fi
-  ) | $DOCKER build --tag $CONTAINER -
+  ) | $DOCKER build --build-arg http_proxy --build-arg https_proxy --tag $CONTAINER -
 }