From: Georgi Gerganov <redacted>
Date: Mon, 17 Jul 2023 14:17:07 +0000 (+0300)
Subject: ci : disable wget progress
X-Git-Tag: upstream/0.0.1642~1309
X-Git-Url: https://git.djapps.eu/?a=commitdiff_plain;h=cb8448477434fb40f80077ae394ca14e9a22b456;p=pkg%2Fggml%2Fsources%2Fggml

ci : disable wget progress
---

diff --git a/ci/run.sh b/ci/run.sh
index c23d8d39..95fe8a31 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
 }