diff --git a/travis_custom/custom_before_install b/travis_custom/custom_before_install index b41812af281bd6e64cda6a32879f023da09aaa28..1a746dbde5881c7e17b0f63b44c4d68dcbd35e9f 100755 --- a/travis_custom/custom_before_install +++ b/travis_custom/custom_before_install @@ -23,12 +23,12 @@ export APT_DEPENDENCIES=$APT_DEPENDENCIES" robotpkg-pinocchio robotpkg-jrl-mal+j # Add one git dependency export GIT_DEPENDENCIES=$GIT_DEPENDENCIES" https://github.com/laas/simple_humanoid.git" -# When this script is called the current directory is ./custom_travis -. ./.travis/run ../.travis/before_install - # Set the distribution to be precise export DIST="" +# When this script is called the current directory is ./custom_travis +. ./.travis/run ../.travis/before_install + # End debug mode set +v set +x