From 1305210bed8f4e3ef811998b219f220511d9a27d Mon Sep 17 00:00:00 2001 From: Geoffrey Sneddon Date: Mon, 26 Feb 2018 19:05:57 +0000 Subject: [PATCH] Make it possible to set RUN_JOB globally --- tools/ci/before_install.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tools/ci/before_install.sh b/tools/ci/before_install.sh index bf7d48c0042ac0..9b80fd9578544e 100644 --- a/tools/ci/before_install.sh +++ b/tools/ci/before_install.sh @@ -1,13 +1,13 @@ #!/bin/bash set -e -if [[ $(./wpt test-jobs --includes $JOB; echo $?) -eq 0 ]]; then +if [[ -z ${RUN_JOB+x} && $(./wpt test-jobs --includes $JOB; echo $?) -eq 0 ]] || [[ $RUN_JOB -eq 1 ]]; then export RUN_JOB=1 git submodule update --init --recursive 1>&2 export DISPLAY=:99.0 sh -e /etc/init.d/xvfb start 1>&2 # For uploading the manifest export WPT_MANIFEST_FILE=$HOME/meta/MANIFEST-$(git rev-parse HEAD).json -else +elif [[ -z ${RUN_JOB+x} ]]; then export RUN_JOB=0 fi