diff --git a/travis_custom/custom_before_install b/travis_custom/custom_before_install index fd19d518d70b1d45c17aa808b7ebabbf76818cff..7f5928783ce8cf36563031386c338e6049a5ac53 100755 --- a/travis_custom/custom_before_install +++ b/travis_custom/custom_before_install @@ -30,7 +30,7 @@ export GIT_DEPENDENCIES=$GIT_DEPENDENCIES" https://github.com/laas/simple_humano . ./.travis/run ../.travis/before_install # Set the distrivution to be precise -export DIST="precise" +#export DIST="precise" # End debug mode set +v