diff options
| author | Emilio Jesus Gallego Arias | 2017-12-07 20:02:27 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2017-12-07 20:05:09 +0100 |
| commit | 212aec0103f797f33aab56dd3d9389d0869d7c04 (patch) | |
| tree | 4fac5e8d89280ab9b6f0ed3b636b7078bce2110f /dev/ci/ci-basic-overlay.sh | |
| parent | 2c5e81e3bc6ec17d253aeedd1b2bf4ccd3b81933 (diff) | |
[ci] CoLoR has moved to github
Closes #6194 .
Diffstat (limited to 'dev/ci/ci-basic-overlay.sh')
| -rw-r--r-- | dev/ci/ci-basic-overlay.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/dev/ci/ci-basic-overlay.sh b/dev/ci/ci-basic-overlay.sh index 168a34e6e4..232b8a56e4 100644 --- a/dev/ci/ci-basic-overlay.sh +++ b/dev/ci/ci-basic-overlay.sh @@ -115,7 +115,8 @@ ######################################################################## # CoLoR ######################################################################## -: ${Color_CI_SVNURL:=https://scm.gforge.inria.fr/anonscm/svn/color/trunk/color} +: ${CoLoR_CI_BRANCH:=master} +: ${CoLoR_CI_GITURL:=https://github.com/fblanqui/color.git} ######################################################################## # SF |