diff options
author | Benjamin Chrétien <chretien@lirmm.fr> | 2016-01-17 13:10:58 +0900 |
---|---|---|
committer | Benjamin Chrétien <chretien@lirmm.fr> | 2016-01-18 13:14:56 +0900 |
commit | 9670a7b6fa632e3071399f763628a89d7d02254d (patch) | |
tree | 8125bd7e7d8873502e3d0e5ff550dda5f239f176 /test | |
parent | 80c2d8385556ef3f82858f9d8e5050a175cec0ad (diff) |
Travis: add guard to test_travis
Diffstat (limited to 'test')
-rwxr-xr-x | test/test_travis | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/test/test_travis b/test/test_travis index 8117ec9..3f34084 100755 --- a/test/test_travis +++ b/test/test_travis @@ -8,6 +8,12 @@ set -e BASEDIR="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)" +# Prevent execution outside of Travis CI builds +if [[ "${TRAVIS}" != true || "${CI}" != true ]]; then + echo "Error: `basename "$0"` should only be used on Travis" + exit 2 +fi + # Travis runs do not rely on Vagrant export USE_VAGRANT=false export DOTBOT_EXEC="${BASEDIR}/bin/dotbot" |