From 9670a7b6fa632e3071399f763628a89d7d02254d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Benjamin=20Chr=C3=A9tien?= <chretien@lirmm.fr>
Date: Sun, 17 Jan 2016 13:10:58 +0900
Subject: [PATCH] Travis: add guard to test_travis

---
 test/test_travis | 6 ++++++
 1 file changed, 6 insertions(+)

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"