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"