diff options
| -rwxr-xr-x | bin/d-i_check_jobs.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/d-i_check_jobs.sh b/bin/d-i_check_jobs.sh index 702c3c8b..ea01dfc4 100755 --- a/bin/d-i_check_jobs.sh +++ b/bin/d-i_check_jobs.sh @@ -109,7 +109,7 @@ for DIRECTORY in * ; do continue else for FORMAT in pdf html ; do - if [ ! -d ~jenkins/jobs/${DI_MANUAL_JOB_PATTERN}${DIRECTORY}_${FORMAT}_po2xml ] ; then + if [ ! -d ~jenkins/jobs/${DI_MANUAL_JOB_PATTERN}${DIRECTORY}_${FORMAT} ] ; then echo "Warning: No build job '${DI_MANUAL_JOB_PATTERN}${DIRECTORY}_${FORMAT}'." FAIL=true # |