diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/reproducible_node_health_check.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/reproducible_node_health_check.sh b/bin/reproducible_node_health_check.sh index bad7a4b1..1fc61fb8 100755 --- a/bin/reproducible_node_health_check.sh +++ b/bin/reproducible_node_health_check.sh @@ -149,7 +149,7 @@ if [ "$HOSTNAME" = "$MAINNODE" ] ; then if [ ! -z "$ZOMBIES" ] ; then echo "Warning, rise of the jenkins job zombies has started again, these jobs should not exist:" echo -e "$ZOMBIES" - DIRTY=TRUE + DIRTY=true echo fi fi |