diff options
-rwxr-xr-x | build_files/build_environment/install_deps.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build_files/build_environment/install_deps.sh b/build_files/build_environment/install_deps.sh index 5011517ed68..d60b2e1f141 100755 --- a/build_files/build_environment/install_deps.sh +++ b/build_files/build_environment/install_deps.sh @@ -731,7 +731,7 @@ download() { done if [ $error -eq 1 ]; then - ERROR "wget could not find $1, or could not write it to $2, exiting" + ERROR "wget could not find ${sources[@]}, or could not write it to $2, exiting" exit 1 fi } |