diff options
author | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-03-07 23:30:29 +0100 |
---|---|---|
committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-03-10 23:18:33 +0100 |
commit | 710c1e1f49ce834acb9488704bcbbf13c4ebaf91 (patch) | |
tree | d088d5a61426c8febb702866426c96a47a025b2b /dev/ci/ci-color.sh | |
parent | ba36aab9ad9a3d210211e1d4527dd0f6f493ca05 (diff) |
[travis] Adding a template file and using it for all targets.
Diffstat (limited to 'dev/ci/ci-color.sh')
-rwxr-xr-x | dev/ci/ci-color.sh | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/dev/ci/ci-color.sh b/dev/ci/ci-color.sh index 36c7b9e96..fbcf9be1d 100755 --- a/dev/ci/ci-color.sh +++ b/dev/ci/ci-color.sh @@ -3,6 +3,9 @@ ci_dir="$(dirname "$0")" source ${ci_dir}/ci-common.sh -svn checkout https://scm.gforge.inria.fr/anonscm/svn/color/trunk/color color +Color_CI_SVNURL=https://scm.gforge.inria.fr/anonscm/svn/color/trunk/color +Color_CI_DIR=${CI_BUILD_DIR}/color -( cd color && make -j ${NJOBS} ) +svn checkout ${Color_CI_SVNURL} ${Color_CI_DIR} + +( cd ${Color_CI_DIR} && make -j ${NJOBS} ) |