1 files changed, 0 insertions, 32 deletions

diff --git a/other/travis/phase b/other/travis/phase
deleted file mode 100755
index cb9c2abf..00000000
--- a/other/travis/phase
+++ /dev/null
@@ -1,32 +0,0 @@
-#!/bin/sh
-
-set -e -u -x
-
-JOB="$1"
-ENV="$2"
-PHASE="$3"
-STAGE=""
-
-set +u
-if [ ! -z "$4" ] ; then
-  STAGE="$4"
-fi
-set -u
-
-. "other/travis/env.sh"
-. "other/travis/env-$ENV.sh"
-
-try_source() {
-  SCRIPT="other/travis/$1"
-  if [ -f "$SCRIPT" ]; then
-    . "$SCRIPT"
-  fi
-  if [ ! -z "$STAGE" ] && [ -f "$SCRIPT-$STAGE" ]; then
-    . "$SCRIPT-$STAGE"
-  fi
-}
-
-try_source "$PHASE"
-try_source "$ENV-$PHASE"
-try_source "$JOB-$PHASE"
-try_source "$JOB-$ENV-$PHASE"