diff options
| -rwxr-xr-x | bin/reproducible_coreboot.sh | 1 | ||||
| -rw-r--r-- | logparse/reproducible.rules | 5 |
2 files changed, 5 insertions, 1 deletions
diff --git a/bin/reproducible_coreboot.sh b/bin/reproducible_coreboot.sh index 19841f8f..349e3431 100755 --- a/bin/reproducible_coreboot.sh +++ b/bin/reproducible_coreboot.sh @@ -29,7 +29,6 @@ call_debbindiff() { local TMPLOG=(mktemp --tmpdir=$TMPDIR) echo set +e - set -x ( timeout $TIMEOUT schroot \ --directory $TMPDIR \ -c source:jenkins-reproducible-${DBDSUITE}-debbindiff \ diff --git a/logparse/reproducible.rules b/logparse/reproducible.rules index 60e3c1eb..de5e1580 100644 --- a/logparse/reproducible.rules +++ b/logparse/reproducible.rules @@ -18,3 +18,8 @@ warning /Warning: too much difference for .+, aborting. Please investigate and u warning /Warning: This query produces no results:.+/ warning /Warning: couldn't delete old files from.+/ warning /Warning: dose-deb-coinstall cannot.+/ + +# coreboot + +warning /.+recipe for target.+ failed/ +warning /skipping.+because we're missing compilers for.+/ |