summaryrefslogtreecommitdiff
path: root/docker
diff options
context:
space:
mode:
authorMarcello Stanisci <marcello.stanisci@inria.fr>2016-11-13 23:12:11 +0100
committerMarcello Stanisci <marcello.stanisci@inria.fr>2016-11-13 23:12:11 +0100
commit368032b2bea16a53f0885cf990a209d54a02ac65 (patch)
tree8f14a90854d3b69d5d0529d04c3a185242b94c14 /docker
parent92a09a54a1fb4ff0b2ee93dad9191498dd239611 (diff)
downloaddeployment-368032b2bea16a53f0885cf990a209d54a02ac65.tar.gz
deployment-368032b2bea16a53f0885cf990a209d54a02ac65.tar.bz2
deployment-368032b2bea16a53f0885cf990a209d54a02ac65.zip
quiet apt-get install
Diffstat (limited to 'docker')
-rw-r--r--docker/base/Dockerfile2
1 files changed, 1 insertions, 1 deletions
diff --git a/docker/base/Dockerfile b/docker/base/Dockerfile
index 94e5e0a..1b40ecf 100644
--- 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 \