diff options
author | Bastien Montagne <montagne29@wanadoo.fr> | 2015-12-09 22:45:50 +0300 |
---|---|---|
committer | Bastien Montagne <montagne29@wanadoo.fr> | 2015-12-09 22:46:17 +0300 |
commit | d2312eb4cd6ed9399d8a0c1a048d02a80c4c4394 (patch) | |
tree | 135765dc83d2de21be8be8a9732c97e2af7e97f8 /build_files/build_environment/install_deps.sh | |
parent | 19dba67d1525e45ff18d7955f0b0f9981ec7b738 (diff) |
install_deps.sh: print correct set of sources tested when a wget fails...
Diffstat (limited to 'build_files/build_environment/install_deps.sh')
-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 } |