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