1 files changed, 0 insertions, 27 deletions

diff --git a/other/travis/env-linux.sh b/other/travis/env-linux.sh
deleted file mode 100644
index 9f25e911..00000000
--- a/other/travis/env-linux.sh
+++ /dev/null
@@ -1,27 +0,0 @@
-#!/bin/sh
-
-export PATH=/opt/ghc/7.8.4/bin:/opt/cabal/1.18/bin:/opt/alex/3.1.7/bin:/opt/happy/1.19.5/bin:$PATH
-export PATH=$HOME/.cabal/bin:$PATH
-
-CMAKE=cmake
-# Asan is disabled because it's currently broken on Travis.
-# See https://github.com/travis-ci/travis-ci/issues/9033.
-CMAKE_EXTRA_FLAGS="$CMAKE_EXTRA_FLAGS -DASAN=OFF"
-NPROC=`nproc`
-CURDIR=$PWD
-RUN_TESTS=true
-
-RUN() {
-  "$@"
-}
-
-TESTS() {
-  COUNT="$1"; shift
-  "$@" || {
-    if [ $COUNT -gt 1 ]; then
-      TESTS `expr $COUNT - 1` "$@"
-    else
-      false
-    fi
-  }
-}