summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xbin/reproducible_build.sh4
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…."