From 76e837184ee7ff3dce6607522da96b37162344a7 Mon Sep 17 00:00:00 2001
From: mnaveau <maximilien.naveau@laas.fr>
Date: Tue, 17 May 2016 20:13:35 +0200
Subject: [PATCH] set the distribution to be precise

---
 travis_custom/custom_before_install | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/travis_custom/custom_before_install b/travis_custom/custom_before_install
index 52a67bf3..fd19d518 100755
--- a/travis_custom/custom_before_install
+++ b/travis_custom/custom_before_install
@@ -29,6 +29,9 @@ export GIT_DEPENDENCIES=$GIT_DEPENDENCIES" https://github.com/laas/simple_humano
 # When this script is called the current directory is ./custom_travis
 . ./.travis/run ../.travis/before_install
 
+# Set the distrivution to be precise
+export DIST="precise"
+
 # End debug mode
 set +v
 set +x
-- 
GitLab