diff options
-rwxr-xr-x | bin/reproducible_maintenance.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/reproducible_maintenance.sh b/bin/reproducible_maintenance.sh index ff858165..8e53ca01 100755 --- a/bin/reproducible_maintenance.sh +++ b/bin/reproducible_maintenance.sh @@ -43,6 +43,8 @@ fi # for Debian echo "$(date -u) - updating the schroots and pbuilder now..." +# testing whether the proxy works +curl http://www.debian.org > /dev/null set +e # use host architecture (only) ARCH=$(dpkg --print-architecture) |