Răsfoiți Sursa

ci : continue file download with wget (#15471)

ggml-ci
Georgi Gerganov 4 luni în urmă
părinte
comite
30649cab65
1 a modificat fișierele cu 1 adăugiri și 1 ștergeri
  1. 1 1
      ci/run.sh

+ 1 - 1
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
 }