diff options
| author | Erich Eckner <git@eckner.net> | 2017-11-17 13:12:40 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-11-17 13:12:40 +0100 |
| commit | 5c1f71f5db92d87c0e54369f1a9586012dbda3fc (patch) | |
| tree | aaaafab78d227fcd42a2bfcd6a023b2bf4af8c38 /bin/build-master-status | |
| parent | 830b22122b57525c44b89570ab408a02f3890337 (diff) | |
| download | builder-5c1f71f5db92d87c0e54369f1a9586012dbda3fc.tar.xz | |
bin/build-master-status: recognize package() errors
Diffstat (limited to 'bin/build-master-status')
| -rwxr-xr-x | bin/build-master-status | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/bin/build-master-status b/bin/build-master-status index 2a5e812..3a8348e 100755 --- a/bin/build-master-status +++ b/bin/build-master-status @@ -281,6 +281,9 @@ if ${web}; then -exec zgrep -q '^==> ERROR: A failure occurred in prepare()\.$' {} \; \ -printf '%f prepare()\n' \ \) -o \ + -exec zgrep -q '^==> ERROR: A failure occurred in package()\.$' {} \; \ + -printf '%f package()\n' \ + \) -o \ \( \ \( \ -exec zgrep -q '^==> ERROR: Could not download sources\.$' {} \; \ |