diff options
| -rwxr-xr-x | bin/reproducible_build.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/bin/reproducible_build.sh b/bin/reproducible_build.sh index e2f6358c..82fe1ccc 100755 --- a/bin/reproducible_build.sh +++ b/bin/reproducible_build.sh @@ -4,9 +4,9 @@ # © 2015-2016 Mattia Rizzolo <mattia@mapreri.org> # released under the GPLv=2 -# DONT disable everything -if false ; then - echo -n "temporarily stopping all the builds… sleeping 12h now…" +# disable everything +if [ "$(dpkg --print-architecture)" = "armhf" ] ; then + echo -n "temporarily stopping the builds on armhf, new debhelper is buggy, needs investigation… sleeping 12h now…" for i in $(seq 1 12) ; do sleep 1h echo -n "." |