From 368032b2bea16a53f0885cf990a209d54a02ac65 Mon Sep 17 00:00:00 2001
From: Marcello Stanisci <marcello.stanisci@inria.fr>
Date: Sun, 13 Nov 2016 23:12:11 +0100
Subject: quiet apt-get install

---
 docker/base/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'docker')

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 \
-- 
cgit v1.2.3