diff --git a/ci/run.sh b/ci/run.sh index 4d3abf9232212..d51ba443859c2 100755 --- a/ci/run.sh +++ b/ci/run.sh @@ -106,7 +106,7 @@ function gg_wget { cd $out # should not re-download if file is the same - wget -nv -N $url + wget -nv -c -N $url cd $cwd }