From f612f08469706b099cd63e4805b67cde567bc7d6 Mon Sep 17 00:00:00 2001 From: Julian Noble Date: Thu, 28 Aug 2025 17:26:42 +1000 Subject: [PATCH] fix curl call in fetchruntime script --- bin/fetchruntime.cmd | 2 +- src/scriptapps/fetchruntime.bash | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/bin/fetchruntime.cmd b/bin/fetchruntime.cmd index c5abcf16..ec7e579f 100644 --- a/bin/fetchruntime.cmd +++ b/bin/fetchruntime.cmd @@ -733,7 +733,7 @@ if [[ "$runtime_available" -eq 1 ]]; then #test win32 echo "Attempting to download $url" #wget $url -O $output - curl -SL "$output" "$url" + curl -SL --output "$output" "$url" if [[ $? -eq 0 ]]; then echo "File downloaded to $output" else diff --git a/src/scriptapps/fetchruntime.bash b/src/scriptapps/fetchruntime.bash index 39972e09..d40312a0 100644 --- a/src/scriptapps/fetchruntime.bash +++ b/src/scriptapps/fetchruntime.bash @@ -58,7 +58,7 @@ if [[ "$runtime_available" -eq 1 ]]; then #test win32 echo "Attempting to download $url" #wget $url -O $output - curl -SL "$output" "$url" + curl -SL --output "$output" "$url" if [[ $? -eq 0 ]]; then echo "File downloaded to $output" else