diff options
| author | Pierre Letouzey | 2017-06-10 17:35:10 +0200 |
|---|---|---|
| committer | Pierre Letouzey | 2017-06-13 10:33:00 +0200 |
| commit | 268ccbb0d3d990e42cef4ae4833e0e7964aea24d (patch) | |
| tree | cfcc964811560e47e114ae6b43c38ec83c569292 /dev/ci | |
| parent | 0fd563c07433db5aad5c5a3f196ea692bb60c04e (diff) | |
[travis] overlay for corn
Diffstat (limited to 'dev/ci')
| -rw-r--r-- | dev/ci/ci-user-overlay.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/dev/ci/ci-user-overlay.sh b/dev/ci/ci-user-overlay.sh index 594e3c3744..200d431bcb 100644 --- a/dev/ci/ci-user-overlay.sh +++ b/dev/ci/ci-user-overlay.sh @@ -44,4 +44,6 @@ fi if [ $TRAVIS_PULL_REQUEST == "498" ] || [ $TRAVIS_BRANCH == "outsource-bignums" ]; then math_classes_CI_BRANCH=external-bignums math_classes_CI_GITURL=https://github.com/letouzey/math-classes.git + Corn_CI_BRANCH=external-bignums + Corn_CI_GITURL=https://github.com/letouzey/corn.git fi |