diff --git a/ci/run.sh b/ci/run.sh index 91a722e80..95346ece8 100644 --- 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 }