diff options
author | Erich Eckner <git@eckner.net> | 2021-03-24 19:57:57 +0100 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2021-03-24 19:57:57 +0100 |
commit | e1b2de1eaaf9fd66ba3cebc2836a5752763c9d42 (patch) | |
tree | 197f3d8b2146814711906686944f85c291c58b99 | |
parent | dee02afb3ebbcbad7c20cbde0fae46cd6bb27332 (diff) | |
download | builder-e1b2de1eaaf9fd66ba3cebc2836a5752763c9d42.tar.xz |
bin/nit-picker: be more verbose when aborting
-rwxr-xr-x | bin/nit-picker | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/nit-picker b/bin/nit-picker index 89df9fb..72b1a9b 100755 --- a/bin/nit-picker +++ b/bin/nit-picker @@ -238,6 +238,7 @@ while pgrep -x ii >/dev/null \ fi | \ while read -r action parameters; do if ${irc} && ! pgrep -x ii >/dev/null; then + >&2 echo 'ii is no longer running' break fi case "${action}" in @@ -757,6 +758,7 @@ while pgrep -x ii >/dev/null \ esac done if [ $# -ge 1 ] || "${repair_dependencies}"; then + >&2 echo 'only one run was requested' break fi sleep 120 |