diff options
-rwxr-xr-x | build-all-with-docker | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/build-all-with-docker b/build-all-with-docker index f56b6570f..070119b13 100755 --- a/build-all-with-docker +++ b/build-all-with-docker @@ -48,7 +48,11 @@ fi if [ -n "$(git status --porcelain)" ]; then >&2 echo 'git is not clean' - exit 1 + if ! tty -s; then + >&2 echo 'not running interactively, exiting' + exit 1 + fi + >&2 echo 'we are running interactively, so we continue even with an unclean git' fi ./bumpPkgrel -a |