diff options
| author | Erich Eckner <git@eckner.net> | 2017-11-14 11:41:37 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-11-14 11:41:37 +0100 |
| commit | 203a1863969a9b3cc0ce28b2a179a44e14a3187a (patch) | |
| tree | ea8b71997019c89bf7fbe9a52fa5857b7348b8ef | |
| parent | d073da7d3aa30cd22940faec3e32de640a43e73d (diff) | |
| download | builder-203a1863969a9b3cc0ce28b2a179a44e14a3187a.tar.xz | |
bin/build-master-status: recognize error in prepare(), too
| -rwxr-xr-x | bin/build-master-status | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/bin/build-master-status b/bin/build-master-status index 719b22b..2bb576b 100755 --- a/bin/build-master-status +++ b/bin/build-master-status @@ -278,6 +278,10 @@ if ${web}; then -exec zgrep -q '^==> ERROR: A failure occurred in check()\.$' {} \; \ -printf '%f check()\n' \ \) -o \ + -exec zgrep -q '^==> ERROR: A failure occurred in prepare()\.$' {} \; \ + -printf '%f prepare()\n' \ + \) -o \ + \( \ \( \ -exec zgrep -q '^==> ERROR: Could not download sources\.$' {} \; \ -printf '%f source\n' \ |