From a83d5ba9b195cbce79465f1193570e8d7be77020 Mon Sep 17 00:00:00 2001
From: Gunar Schorcht <gunar@schorcht.net>
Date: Thu, 11 May 2023 16:23:45 +0200
Subject: [PATCH] dist/tools/esptool: set --retry for curl in install.sh for
 stability

---
 dist/tools/esptools/install.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dist/tools/esptools/install.sh b/dist/tools/esptools/install.sh
index ea9edc157d..b6a5784096 100755
--- 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