diff options
| -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…." |