ci : disable wget progress

diff --git a/ci/run.sh b/ci/run.sh
index c23d8d39e5042b2d49c228acfb4ff7734e171ac8..95fe8a31374b5c28357f9a5a3deda62c354f599b 100644 (file)
--- a/ci/run.sh
+++ b/ci/run.sh
@@ -20,7 +20,7 @@ function gg_wget {
     cd $out
 
     # should not re-download if file is the same
-    wget -N $url
+    wget -nv -N $url
 
     cd $cwd
 }