diff options
Diffstat (limited to 'build-all-with-docker')
-rwxr-xr-x | build-all-with-docker | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/build-all-with-docker b/build-all-with-docker index 437ed4529..1ffd03577 100755 --- a/build-all-with-docker +++ b/build-all-with-docker @@ -47,6 +47,10 @@ check_and_commit_package_updates() { | sed 's@^.*/@@' ) ); do + if ! [ -d "$pkg" ]; then + >&2 echo "$pwd is not a directory" + continue + fi cd "$pkg" ../addPkgbuildPatch del [ -n "$(git status --porcelain -- .)" ] \ |