diff options
| author | Holger Levsen <holger@layer-acht.org> | 2015-02-21 12:57:52 +0100 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-02-21 12:57:52 +0100 |
| commit | 71583aa6f075696ec3c07818babaf77014a360f5 (patch) | |
| tree | 3babc050e1df7561df0dc18e62287f7232be7fe1 | |
| parent | 6f6148c1e0aa21f34d840781aed4e422a1e24c6b (diff) | |
| download | jenkins.debian.net-71583aa6f075696ec3c07818babaf77014a360f5.tar.xz | |
try to fix trigger count calculation
| -rwxr-xr-x | update_jdn.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/update_jdn.sh b/update_jdn.sh index f08f3b3e..be98974c 100755 --- a/update_jdn.sh +++ b/update_jdn.sh @@ -236,7 +236,7 @@ DEFINED_DI_TRIGGERS=$(grep "defaults: d-i-manual-html" d-i.yaml|wc -l) #DEFINED_REPRODUCIBLE_TRIGGERS=$(grep "^ defaults: reproducible$" reproducible.yaml|wc -l) let DEFINED_TRIGGERS=DEFINED_MY_TRIGGERS+DEFINED_DI_TRIGGERS #let DEFINED_TRIGGERS=DEFINED_TRIGGERS+DEFINED_REPRODUCIBLE_TRIGGERS -let CONFIGURED_TRIGGERS=$(grep \<childProjects /var/lib/jenkins/jobs/*/config.xml|wc -l)+$(grep \<childProjects /var/lib/jenkins/jobs/*/config.xml |grep , |xargs -r echo | sed 's/[^,]//g'| wc -m)-1 +let CONFIGURED_TRIGGERS=$(grep \</childProjects /var/lib/jenkins/jobs/*/config.xml|wc -l)+$(grep \<childProjects /var/lib/jenkins/jobs/*/config.xml |grep , |xargs -r echo | sed 's/[^,]//g'| wc -m)-1 if [ "$DEFINED_TRIGGERS" != "$CONFIGURED_TRIGGERS" ] ; then figlet -f banner Warning explain "Number of defined triggers ($DEFINED_TRIGGERS) differs from currently configured triggers ($CONFIGURED_TRIGGERS), please investigate." |