diff options
-rwxr-xr-x | bin/ThirdPartyInstaller | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/bin/ThirdPartyInstaller b/bin/ThirdPartyInstaller index 76d1755..332718a 100755 --- a/bin/ThirdPartyInstaller +++ b/bin/ThirdPartyInstaller @@ -493,6 +493,12 @@ inputnames=() eval `Args_To_Array inputfiles_` for entry in "${inputfiles_[@]}" do + if [ ! -f "$entry" ] + then Die "$entry: file not found" + fi +done +for entry in "${inputfiles_[@]}" +do inputfile=$(fetch_package "$entry") inputfiles+=( "$inputfile" ) inputnames+=( "$(thirdparty_name $inputfile)" ) |