summaryrefslogtreecommitdiff
path: root/other/travis/phase
diff options
context:
space:
mode:
Diffstat (limited to 'other/travis/phase')
-rwxr-xr-xother/travis/phase10
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
5JOB="$1" 5JOB="$1"
6ENV="$2" 6ENV="$2"
7PHASE="$3" 7PHASE="$3"
8STAGE=""
9
10set +u
11if [ ! -z "$4" ] ; then
12 STAGE="$4"
13fi
14set -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
19try_source "$PHASE" 29try_source "$PHASE"