diff options
| -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" |