diff options
| -rwxr-xr-x | libs/project | 16 |
1 files changed, 13 insertions, 3 deletions
diff --git a/libs/project b/libs/project index 75e84ed5..fb986f89 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" @@ -983,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 @@ -1012,7 +1022,7 @@ project_install_check() { if ! [[ -f "$destination_path" ]] && ! [[ -d "$destination_path" ]] then - false + return 1 fi done < "$configs_install_path" done @@ -1046,7 +1056,7 @@ project_install_check() { if ! [[ -f "$destination_path" ]] && ! [[ -d "$destination_path" ]] then - false + return 1 fi done < "$install_install_path" done |