diff options
author | Andrew Robbins <contact@andrewrobbins.info> | 2019-04-15 03:19:20 -0400 |
---|---|---|
committer | Andrew Robbins <contact@andrewrobbins.info> | 2019-04-15 20:52:06 -0400 |
commit | f18c37229bf84432ebfa77e4360cb99b561c5768 (patch) | |
tree | d6aea2e2c5fab1b18674a27f5740c31e8a8c76bd /libs | |
parent | 8d6bd2a2696ab13a53baedab25bf8419a95396ba (diff) | |
download | librebootfr-f18c37229bf84432ebfa77e4360cb99b561c5768.tar.gz librebootfr-f18c37229bf84432ebfa77e4360cb99b561c5768.zip |
libs/project: Fail install check, properly
If the $install_path directory does not exist or a file which should
be present in the install directory isn't, fail.
Diffstat (limited to 'libs')
-rwxr-xr-x | libs/project | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/libs/project b/libs/project index 4b6d38d7..fb986f89 100755 --- a/libs/project +++ b/libs/project @@ -988,6 +988,11 @@ project_install_check() { local rule local path + if ! [[ -d $install_path ]] + then + return 1 + fi + # Install built files first. for argument in "" "$@" do @@ -1017,7 +1022,7 @@ project_install_check() { if ! [[ -f "$destination_path" ]] && ! [[ -d "$destination_path" ]] then - false + return 1 fi done < "$configs_install_path" done @@ -1051,7 +1056,7 @@ project_install_check() { if ! [[ -f "$destination_path" ]] && ! [[ -d "$destination_path" ]] then - false + return 1 fi done < "$install_install_path" done |