diff options
| -rwxr-xr-x | bin/d-i_check_jobs.sh | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/bin/d-i_check_jobs.sh b/bin/d-i_check_jobs.sh index de9e2e14..0814a144 100755 --- a/bin/d-i_check_jobs.sh +++ b/bin/d-i_check_jobs.sh @@ -95,6 +95,12 @@ for DIRECTORY in * ; do continue else for FORMAT in pdf html ; do + if [ $FORMAT = pdf ] ; then + # Some languages are unsupported in PDF + case $DIRECTORY in + el|ja|vi|zh_CN|zh_TW) continue ;; + esac + fi if [ ! -d ~jenkins/jobs/${DI_MANUAL_JOB_PATTERN}${DIRECTORY}_${FORMAT} ] ; then echo "Warning: No build job '${DI_MANUAL_JOB_PATTERN}${DIRECTORY}_${FORMAT}'." FAIL=true @@ -127,6 +133,12 @@ for DIRECTORY in * ; do continue else for FORMAT in pdf html ; do + if [ $FORMAT = pdf ] ; then + # Some languages are unsupported in PDF + case $DIRECTORY in + el|ja|vi|zh_CN|zh_TW) continue ;; + esac + fi if [ ! -d ~jenkins/jobs/${DI_MANUAL_JOB_PATTERN}${DIRECTORY}_${FORMAT} ] ; then echo "Warning: No build job '${DI_MANUAL_JOB_PATTERN}${DIRECTORY}_${FORMAT}'." FAIL=true |