diff options
| author | Mattia Rizzolo <mattia@mapreri.org> | 2015-06-18 09:50:48 +0000 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-06-18 12:00:54 +0200 |
| commit | 5cee0790a15245ef6e5ca89218c876c5533b0d59 (patch) | |
| tree | 3ef363e2b12ffffeac6a15249ae2245e194d1e7d | |
| parent | 752bc4db0d48be2fb0454b645469c945c9326d9d (diff) | |
| download | jenkins.debian.net-5cee0790a15245ef6e5ca89218c876c5533b0d59.tar.xz | |
reproducible: build: drop old not-true-anymore-comment
| -rwxr-xr-x | bin/reproducible_build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/reproducible_build.sh b/bin/reproducible_build.sh index a8d1f48e..103d45ab 100755 --- a/bin/reproducible_build.sh +++ b/bin/reproducible_build.sh @@ -231,7 +231,7 @@ dbd_timeout() { call_debbindiff() { local TMPLOG=(mktemp --tmpdir=$TMPDIR) echo | tee -a ${RBUILDLOG} - local TIMEOUT="30m" # don't forget to also change the "seq 0 200" loop 33 lines above + local TIMEOUT="30m" DBDSUITE=$SUITE if [ "$SUITE" = "experimental" ] ; then # there is no extra debbindiff-schroot for experimental because we specical case ghc enough already ;) |