diff options
| author | Erich Eckner <erich.eckner.ext@bestsecret.com> | 2024-08-15 08:42:35 +0200 |
|---|---|---|
| committer | Erich Eckner <erich.eckner.ext@bestsecret.com> | 2024-08-15 08:42:35 +0200 |
| commit | 6261794aeb6b9ff72ef281b6991edfe9a011971a (patch) | |
| tree | 8ca4700045ea65c7e6293cc5aed93af8748db9c3 | |
| parent | cd08a43078c53a60c42306d919c46a979b01db51 (diff) | |
| download | archlinuxewe-6261794aeb6b9ff72ef281b6991edfe9a011971a.tar.xz | |
build-all-with-docker: continue on unclean git when running interactively
| -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 |