commit 368032b2bea16a53f0885cf990a209d54a02ac65 parent 92a09a54a1fb4ff0b2ee93dad9191498dd239611 Author: Marcello Stanisci <marcello.stanisci@inria.fr> Date: Sun, 13 Nov 2016 23:12:11 +0100 quiet apt-get install Diffstat:
| M | docker/base/Dockerfile | | | 2 | +- |
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/docker/base/Dockerfile b/docker/base/Dockerfile @@ -1,6 +1,6 @@ FROM debian:stable -RUN apt-get update && apt-get install -y \ +RUN apt-get update && apt-get install -qqy \ git \ build-essential \ autoconf \