diff options
author | Holger Levsen <holger@layer-acht.org> | 2012-11-18 18:22:20 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2012-11-18 18:22:20 +0100 |
commit | 5152e30f08003ac2ad528ad864c3b6b543e00b0e (patch) | |
tree | a9819287ad7e861619409e12d4ae91946cc59b2a /update_jdn.sh | |
parent | 32e774446d2f5369779747db36fe430b35442c80 (diff) | |
download | jenkins.debian.net-5152e30f08003ac2ad528ad864c3b6b543e00b0e.tar.xz |
add d-i_manual_*_pdf jobs
Diffstat (limited to 'update_jdn.sh')
-rwxr-xr-x | update_jdn.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/update_jdn.sh b/update_jdn.sh index 37f0f3d7..b8ccb26e 100755 --- a/update_jdn.sh +++ b/update_jdn.sh @@ -74,7 +74,9 @@ explain "Jenkins jobs updated." # # crappy tests for checking that jenkins-job-builder works correctly # -DEFINED_TRIGGERS=$(grep _trigger: *.yaml|wc -l) +DEFINED_CHROOT_TRIGGERS=$(grep _trigger: chroot-tests.yaml|wc -l) +DEFINED_DI_TRIGGERS=$(grep "defaults: d-i-manual-html" d-i.yaml|wc -l) +let DEFINED_TRIGGERS=DEFINED_CHROOT_TRIGGERS+DEFINED_DI_TRIGGERS CONFIGURED_TRIGGERS=$(grep -C 1 \<hudson.tasks.BuildTrigger /var/lib/jenkins/jobs/*/config.xml|grep child|wc -l) if [ "$DEFINED_TRIGGERS" != "$CONFIGURED_TRIGGERS" ] ; then figlet Warning |