RIOT-OS/RIOT
RIOT-OS/RIOT
1
0
Fork 0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-01-17 05:12:57 +01:00
Code Releases Activity

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

Browse Source
This commit is contained in:
Gunar Schorcht 2023-05-11 16:23:45 +02:00
parent 1438d41347
commit a83d5ba9b1
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
dist/tools/esptools/install.sh vendored
View File

@ -73,7 +73,7 @@ esac
download() download()
{ {
if [ "${URL_GET}" = "curl" ]; then if [ "${URL_GET}" = "curl" ]; then
curl -L "$1" -o "$2" curl -L "$1" --retry 10 -o "$2"
elif [ "${URL_GET}" = "wget" ]; then elif [ "${URL_GET}" = "wget" ]; then
wget "$1" -O "$2" wget "$1" -O "$2"
else else