summaryrefslogtreecommitdiff
path: root/build-all-with-docker
diff options
context:
space:
mode:
Diffstat (limited to 'build-all-with-docker')
-rwxr-xr-xbuild-all-with-docker6
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