diff options
| author | Maxime Dénès | 2017-12-11 09:22:54 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2017-12-11 09:22:54 +0100 |
| commit | 84b41f2540440bbcb74aad1c8e93f7e0b9bc4b4e (patch) | |
| tree | e9b89599e7aee2c2ba07e70561adb6ff18a4d676 /dev/ci/ci-basic-overlay.sh | |
| parent | 9dbca7f26198fb3cf2059adcb8519d8c4f157a5e (diff) | |
| parent | 212aec0103f797f33aab56dd3d9389d0869d7c04 (diff) | |
Merge PR #6346: [ci] CoLoR has moved to github
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 |