diff options
| author | Mattia Rizzolo <mattia@debian.org> | 2016-08-01 11:31:04 +0000 |
|---|---|---|
| committer | Mattia Rizzolo <mattia@debian.org> | 2016-08-01 11:34:07 +0000 |
| commit | 3700c5dff3b9299ad2becba3ab90517d4bd4e733 (patch) | |
| tree | 00d1ab848ee41dda195e262405bed18dcb7b6003 /bin | |
| parent | 1999a3a3f9f393aed75e51dad488e21bf3ae0cbb (diff) | |
| download | jenkins.debian.net-3700c5dff3b9299ad2becba3ab90517d4bd4e733.tar.xz | |
Revert "reproducible Debian: stop all the builds"
This reverts commit 4359bc14b77522046547f877725650689cf7b5f2.
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/reproducible_build.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/reproducible_build.sh b/bin/reproducible_build.sh index 6501edc5..f32fcb5d 100755 --- a/bin/reproducible_build.sh +++ b/bin/reproducible_build.sh @@ -37,8 +37,8 @@ _log () { exit_early_if_debian_is_broken() { # debian is fine, thanks - if true || [ "$ARCH" = "armhf" ] ; then - echo "Temporarily stopping the builds due to the new dpkg upload… sleeping 12h now…" + if false && [ "$ARCH" = "armhf" ] ; then + echo "Temporarily stopping the builds on armhf due to #827724… sleeping 12h now…" for i in $(seq 1 12) ; do sleep 1h echo "one hour passed…." |