diff options
Diffstat (limited to 'other/travis/phase')
-rwxr-xr-x | other/travis/phase | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/other/travis/phase b/other/travis/phase index ac9bc3b4..cb9c2abf 100755 --- a/other/travis/phase +++ b/other/travis/phase | |||
@@ -5,6 +5,13 @@ set -e -u -x | |||
5 | JOB="$1" | 5 | JOB="$1" |
6 | ENV="$2" | 6 | ENV="$2" |
7 | PHASE="$3" | 7 | PHASE="$3" |
8 | STAGE="" | ||
9 | |||
10 | set +u | ||
11 | if [ ! -z "$4" ] ; then | ||
12 | STAGE="$4" | ||
13 | fi | ||
14 | set -u | ||
8 | 15 | ||
9 | . "other/travis/env.sh" | 16 | . "other/travis/env.sh" |
10 | . "other/travis/env-$ENV.sh" | 17 | . "other/travis/env-$ENV.sh" |
@@ -14,6 +21,9 @@ try_source() { | |||
14 | if [ -f "$SCRIPT" ]; then | 21 | if [ -f "$SCRIPT" ]; then |
15 | . "$SCRIPT" | 22 | . "$SCRIPT" |
16 | fi | 23 | fi |
24 | if [ ! -z "$STAGE" ] && [ -f "$SCRIPT-$STAGE" ]; then | ||
25 | . "$SCRIPT-$STAGE" | ||
26 | fi | ||
17 | } | 27 | } |
18 | 28 | ||
19 | try_source "$PHASE" | 29 | try_source "$PHASE" |