diff options
author | Holger Levsen <holger@layer-acht.org> | 2017-06-13 14:55:25 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2017-06-13 14:55:25 +0200 |
commit | 313480258fe7599347fb0a46395d7621e244824b (patch) | |
tree | 8cbc49bdd0b3f340f0047186292fe37d57e5395b /bin | |
parent | e91b3d899d736645a227a8d74ec9893fedba959f (diff) | |
download | jenkins.debian.net-313480258fe7599347fb0a46395d7621e244824b.tar.xz |
reproducible Debian: be honest about dirt
Signed-off-by: Holger Levsen <holger@layer-acht.org>
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/reproducible_node_health_check.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/reproducible_node_health_check.sh b/bin/reproducible_node_health_check.sh index c025cc77..686e035b 100755 --- a/bin/reproducible_node_health_check.sh +++ b/bin/reproducible_node_health_check.sh @@ -44,6 +44,7 @@ echo "$(date -u) - testing whether the proxy works..." curl http://www.debian.org > /dev/null if [ $? -ne 0 ] ; then echo "Warning: curl http://www.debian.org failed, probably the proxy is down for $HOSTNAME…" + DIRTY=true fi # @@ -91,6 +92,7 @@ fi echo "$(date -u) - testing whether the time is right..." if [ "$(date +%Y)" = "2019" ] ; then echo "Warning, today is the wrong future: $(date -u)." + DIRTY=true elif [ "$(date +%Y)" = "2018" ] ; then echo "Good, today is the right future: $(date -u)." else |