diff options
| author | Erich Eckner <git@eckner.net> | 2017-06-20 09:01:35 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-06-20 09:01:35 +0200 |
| commit | 05e3561b3df4078a33865913d8135dbfe4ad5809 (patch) | |
| tree | 9afde5a0c4d87187cc6e193c3666eb77a6a9a4cd /bin/build-master-status | |
| parent | 797adfe1c1f26c57d31bc7b1b67e54d36257806f (diff) | |
| download | builder-05e3561b3df4078a33865913d8135dbfe4ad5809.tar.xz | |
hand out broken packages multiple times
Diffstat (limited to 'bin/build-master-status')
| -rwxr-xr-x | bin/build-master-status | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/build-master-status b/bin/build-master-status index 15ac1a5..54bf3de 100755 --- a/bin/build-master-status +++ b/bin/build-master-status @@ -88,9 +88,9 @@ stable="$( grep -c '\.pkg\.tar\.xz$' )" tasks="$( - wc -l < \ + grep -c '^\S\+ \S\+ \S\+ \S\+$' \ "${work_dir}/build-list" - )" + )" || true pending_packages="$( tr ' ' '.' < \ "${work_dir}"/build-list | \ |