diff options
author | Mattia Rizzolo <mattia@debian.org> | 2017-08-04 16:58:47 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2017-08-04 11:00:16 -0400 |
commit | 14a71d0334aee6b73deb2b217d2d729c636f4b81 (patch) | |
tree | d1f018f4e2f6916994d056297fbc91ba36ddc708 /bin | |
parent | f59cf27abd65b33a11f323cde64d8a2cc3a2338f (diff) | |
download | jenkins.debian.net-14a71d0334aee6b73deb2b217d2d729c636f4b81.tar.xz |
reproducible debian: node_health_check: check against reproducible_setup_(pbuilder|schroot)_testing zombie jobs
Signed-off-by: Mattia Rizzolo <mattia@debian.org>
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, 1 insertions, 1 deletions
diff --git a/bin/reproducible_node_health_check.sh b/bin/reproducible_node_health_check.sh index 16ff5cb4..c4b42a24 100755 --- a/bin/reproducible_node_health_check.sh +++ b/bin/reproducible_node_health_check.sh @@ -145,7 +145,7 @@ if [ "$HOSTNAME" = "$MAINNODE" ] ; then # and we dont know why and when that happens, # so just report those zombies here. # - ZOMBIES=$(ls -1d /var/lib/jenkins/jobs/* | egrep '(reproducible_builder_amd64|reproducible_builder_i386|reproducible_builder_armhf|reproducible_builder_arm64|chroot-installation_wheezy|ff64a|jtk1a)' || true) + ZOMBIES=$(ls -1d /var/lib/jenkins/jobs/* | egrep 'reproducible_(builder_(amd64|i386|armhf|arm64)|setup_(pbuilder|schroot)_testing)|chroot-installation_wheezy|ff64a|jtk1a' || true) if [ ! -z "$ZOMBIES" ] ; then echo "Warning, rise of the jenkins job zombies has started again, these jobs should not exist:" for z in $ZOMBIES ; do |