Index: build/install-build-deps.sh |
diff --git a/build/install-build-deps.sh b/build/install-build-deps.sh |
index c2b89094da7cbfc77cb3660a22a049accda4d39b..28af8974e72fe27328b15971b61cf3eacac7504b 100755 |
--- a/build/install-build-deps.sh |
+++ b/build/install-build-deps.sh |
@@ -252,7 +252,7 @@ if [ "$(uname -m)" = "x86_64" ]; then |
else |
cmp_list="${cmp_list} lib32readline5-dev" |
fi |
- sudo apt-get install $cmp_list |
+ sudo apt-get install ${do_quietly-} $cmp_list |
tmp=/tmp/install-32bit.$$ |
trap 'rm -rf "${tmp}"' EXIT INT TERM QUIT |