diff options
Diffstat (limited to 'bin/reproducible_coreboot.sh')
| -rwxr-xr-x | bin/reproducible_coreboot.sh | 1 |
1 files changed, 0 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 \ |