Quiet git clone

2018-10-20 15:25:14 +01:00 · 2018-10-20 15:25:14 +01:00 · d756cb6e48
commit d756cb6e48
parent 20fa52997c
1 changed files with 1 additions and 1 deletions
--- a/tools/docker/Dockerfile
+++ b/tools/docker/Dockerfile
@ -90,7 +90,7 @@ RUN sudo apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys 3FA7E
  && sudo apt-get clean

 # Download, build and install Renode
-RUN git clone https://github.com/renode/renode.git \
+RUN git clone --quiet https://github.com/renode/renode.git \
  && cd ${HOME}/renode \
  && git checkout v1.3 \
  && ./build.sh