diff options
author | Lucas C. Villa Real <lucasvr@gmail.com> | 2018-07-02 00:56:31 -0300 |
---|---|---|
committer | Lucas C. Villa Real <lucasvr@gmail.com> | 2018-07-02 00:56:31 -0300 |
commit | 44d1ef73fbb563d7b739f841b05f5b619908b4ec (patch) | |
tree | 7fc0bacd31a93daa5f5883d1847af2d990b66577 | |
parent | e5409de3903939578f3307e0b10ac1c8a3e4f9a4 (diff) | |
download | ThirdPartyInstallers-44d1ef73fbb563d7b739f841b05f5b619908b4ec.tar.xz |
Basic sanity check: verify that input files exist
-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)" ) |