diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2017-03-14 20:00:58 +0100 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2017-03-14 20:00:58 +0100 |
commit | e3a214801baf52c1cb1e9094d9e19624a6f9ded2 (patch) | |
tree | 5ae78699c7e9e10bb0d2d87fea7ff1061fc96bf8 /dev/ci/ci-common.sh | |
parent | db1ef0aeba8bad6bb686f6adb465cb1fbb5229f3 (diff) | |
parent | 2cee6aa7a30b39c53e23fc69f0b9e7754ebee740 (diff) |
Merge PR#477: [travis] Basic support for overlays.
Diffstat (limited to 'dev/ci/ci-common.sh')
-rw-r--r-- | dev/ci/ci-common.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/dev/ci/ci-common.sh b/dev/ci/ci-common.sh index 6f624ab6e..c94f15026 100644 --- a/dev/ci/ci-common.sh +++ b/dev/ci/ci-common.sh @@ -11,9 +11,9 @@ ls `pwd`/bin # Where we clone and build external developments CI_BUILD_DIR=`pwd`/_build_ci -# Maybe we should just use Ruby... -mathcomp_CI_BRANCH=master -mathcomp_CI_GITURL=https://github.com/math-comp/math-comp.git +source ${ci_dir}/ci-user-overlay.sh +source ${ci_dir}/ci-basic-overlay.sh + mathcomp_CI_DIR=${CI_BUILD_DIR}/math-comp # git_checkout branch url dest will create a git repository |