diff options
-rwxr-xr-x | bin/d-i_check_jobs.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/bin/d-i_check_jobs.sh b/bin/d-i_check_jobs.sh index 0814a144..d2684ad4 100755 --- a/bin/d-i_check_jobs.sh +++ b/bin/d-i_check_jobs.sh @@ -85,6 +85,10 @@ echo cd ~jenkins/jobs/d-i_manual/workspace/manual IGNORE="build debian doc README scripts build-stamp doc-base-stamp po" for DIRECTORY in * ; do + # Some languages are unsupported + case $DIRECTORY in + eu) continue ;; + esac for i in $IGNORE ; do if [ "$DIRECTORY" == "$i" ] ; then DIRECTORY="" |