diff options
Diffstat (limited to 'bash_include')
-rw-r--r-- | bash_include | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bash_include b/bash_include index 87998f9..567af17 100644 --- a/bash_include +++ b/bash_include @@ -1230,7 +1230,7 @@ function windows_exe_copy () echo "Copying ${windows_exe_needed_dlls[$i]} ..." mkdir -p "$destdir" safe_cp "${windows_exe_needed_dlls[$i]}" "$destdir" - else + elif [ "$verbose" = "false" ]; then echo "${windows_exe_needed_dlls[$i]}" fi done |