diff options
| author | Erich Eckner <git@eckner.net> | 2017-12-05 10:07:51 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-12-05 10:07:51 +0100 |
| commit | 977ea512108d2721c6fd84072c04f540b746c511 (patch) | |
| tree | fdf8f65c52022db704f1a1dccf8bb26b37083666 | |
| parent | 4cdeb55f66d0c3605b2b6ed16a103316cc5c414b (diff) | |
| download | builder-977ea512108d2721c6fd84072c04f540b746c511.tar.xz | |
bin/build-master-status: also recognize package function of split packages
| -rwxr-xr-x | bin/build-master-status | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/build-master-status b/bin/build-master-status index d1ed751..b456adc 100755 --- a/bin/build-master-status +++ b/bin/build-master-status @@ -306,7 +306,7 @@ if ${web}; then -printf '%f prepare()\n' \ \) -o \ \( \ - -exec zgrep -q '^==> ERROR: A failure occurred in package()\.$' {} \; \ + -exec zgrep -q '^==> ERROR: A failure occurred in package\(_\S\+\)\?()\.$' {} \; \ -printf '%f package()\n' \ \) -o \ \( \ |