diff options
| author | Holger Levsen <holger@layer-acht.org> | 2016-07-31 23:19:16 -0400 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2016-07-31 23:19:16 -0400 |
| commit | 4359bc14b77522046547f877725650689cf7b5f2 (patch) | |
| tree | e1b848a8153fede3a95c9232a07212acf454fb67 /bin | |
| parent | 4be12f4e89cdd113b380e13d4995915521bd7f44 (diff) | |
| download | jenkins.debian.net-4359bc14b77522046547f877725650689cf7b5f2.tar.xz | |
reproducible Debian: stop all the builds
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 f32fcb5d..6501edc5 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 false && [ "$ARCH" = "armhf" ] ; then - echo "Temporarily stopping the builds on armhf due to #827724… sleeping 12h now…" + if true || [ "$ARCH" = "armhf" ] ; then + echo "Temporarily stopping the builds due to the new dpkg upload… sleeping 12h now…" for i in $(seq 1 12) ; do sleep 1h echo "one hour passed…." |