casaroli commented on code in PR #20707:
URL: https://github.com/apache/nuttx/pull/20707#discussion_r4398251357
##########
tools/ci/cibuild.sh:
##########
@@ -38,6 +38,15 @@ else
osname=${os}
fi
+# Configure curl defaults to handle CI network timeouts & flakiness
+if [ -n "${HOME:-}" ] && [ ! -f "${HOME}/.curlrc" ]; then
Review Comment:
cibuild.sh also runs on developer hosts (`-i` installs the tools there).
This block creates `~/.curlrc` and leaves it, so it changes every later curl
call of that user. The DOWNLOAD macro already sets these options.
Fix: remove this block.
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: [email protected]
For queries about this service, please contact Infrastructure at:
[email protected]
