diff options
author | Andrew Robbins <contact@andrewrobbins.info> | 2019-04-15 02:27:32 -0400 |
---|---|---|
committer | Andrew Robbins <contact@andrewrobbins.info> | 2019-04-15 20:49:38 -0400 |
commit | 8d6bd2a2696ab13a53baedab25bf8419a95396ba (patch) | |
tree | 70b8178723faf6b93d808ae108e4e3eee947a5a3 /libs | |
parent | ec45caf75e1312a296dd4437744b0929976361dc (diff) | |
download | librebootfr-8d6bd2a2696ab13a53baedab25bf8419a95396ba.tar.gz librebootfr-8d6bd2a2696ab13a53baedab25bf8419a95396ba.zip |
libs/project: Fail build check, properly
If the $build_path directory does not exist or a file which should be
present in the build directory isn't, fail.
Diffstat (limited to 'libs')
-rwxr-xr-x | libs/project | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/libs/project b/libs/project index 75e84ed5..4b6d38d7 100755 --- a/libs/project +++ b/libs/project @@ -810,6 +810,11 @@ project_build_check() { local rule local path + if ! [[ -d $build_path ]] + then + return 1 + fi + for argument in "" "$@" do if [[ -n "$argument" ]] @@ -839,7 +844,7 @@ project_build_check() { do if ! [[ -f "$source_file_path" ]] && ! [[ -d "$source_file_path" ]] then - false + return 1 fi done done < "$configs_install_path" |