diff options
| author | Erich Eckner <git@eckner.net> | 2019-07-12 10:23:57 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-07-12 10:23:57 +0200 |
| commit | c6214285b150470c6b497ddfee0701b6b06ff589 (patch) | |
| tree | f1077ca928bf794533a807ad0392bf32c4722f67 | |
| parent | 3aba0aefe8beed8d5f69aa942242b447f96887fc (diff) | |
| download | builder-c6214285b150470c6b497ddfee0701b6b06ff589.tar.xz | |
bin/nit-picker: ii may not run when -n
| -rwxr-xr-x | bin/nit-picker | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/bin/nit-picker b/bin/nit-picker index 3e927a5..c80cc42 100755 --- a/bin/nit-picker +++ b/bin/nit-picker @@ -66,7 +66,8 @@ fi mysql_load_min_and_max_versions -while pgrep -x ii >/dev/null; do +while pgrep -x ii >/dev/null \ +|| ! ${irc}; do # shellcheck disable=SC2016 { printf 'SELECT DISTINCT' |