diff options
author | Holger Levsen <holger@layer-acht.org> | 2012-11-12 09:49:34 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2012-11-12 09:49:34 +0100 |
commit | d6f1286091b5607fa9e0e208b1f07d7e685ff144 (patch) | |
tree | 7be2c29fc125e930b1701fe305a70d60e5936beb | |
parent | ca11e09f3474335891649fa7a0d132f1610aec6f (diff) | |
download | jenkins.debian.net-d6f1286091b5607fa9e0e208b1f07d7e685ff144.tar.xz |
cosmetics
-rwxr-xr-x | bin/d-i_check_jobs.sh | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/bin/d-i_check_jobs.sh b/bin/d-i_check_jobs.sh index 9734568b..be33af5d 100755 --- a/bin/d-i_check_jobs.sh +++ b/bin/d-i_check_jobs.sh @@ -6,7 +6,7 @@ # # default settings # -set -x +#set -x set -e export LC_ALL=C export http_proxy="http://localhost:3128" @@ -31,19 +31,20 @@ for PACKAGE in $( grep git.debian.org/git/d-i $TMPFILE|cut -d "/" -f6-) ; do # check if a jenkins job exists # if [ ! -d ~jenkins/jobs/${DI_JOBPATTERN}${PACKAGE} ] ; then - echo "Warning: No build job \'${DI_JOBPATTERN}${PACKAGE}\'." + echo "Warning: No build job '${DI_JOBPATTERN}${PACKAGE}'." FAIL=true else - echo "Ok: Job \'${DI_JOBPATTERN}${PACKAGE}\' exists." + echo "Ok: Job '${DI_JOBPATTERN}${PACKAGE}' exists." fi done echo rm $TMPFILE # -# check for missing d-i manual lanague build jobs +# check for missing d-i manual language build jobs # # FIXME: implement this check ;-) +echo "Warning: check for missing d-i manual build jobs not implemented" # # fail this job if missing d-i jobs are detected |