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 1/2] 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"

From c536f5fa3fde253fc4460b5944ce32b8d6d42643 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Benjamin=20Chr=C3=A9tien?= <chretien@lirmm.fr>
Date: Sun, 17 Jan 2016 13:11:44 +0900
Subject: [PATCH 2/2] Travis: use container-based infrastructure

---
 .travis.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.travis.yml b/.travis.yml
index 8c2d54c..6c326c0 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -6,5 +6,7 @@ python:
   - "3.4"
   - "3.5"
 
+sudo: false
+
 script:
   - ./test/test_travis