dist/tools/esptool: set --retry for curl in install.sh for stability

RIOT-OS · May 11, 2023 · 53b7ebb · 53b7ebb
1 parent c9a0d6a
commit 53b7ebb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dist/tools/esptools/install.sh b/dist/tools/esptools/install.sh
@@ -73,7 +73,7 @@ esac
 download()
 {
     if [ "${URL_GET}" = "curl" ]; then
-        curl -L "$1" -o "$2"
+        curl -L "$1" --retry 10 -o "$2"
     elif [ "${URL_GET}" = "wget" ]; then
         wget "$1" -O "$2"
     else