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-template.sh | |
parent | ba36aab9ad9a3d210211e1d4527dd0f6f493ca05 (diff) |
[travis] Adding a template file and using it for all targets.
Diffstat (limited to 'dev/ci/ci-template.sh')
-rwxr-xr-x | dev/ci/ci-template.sh | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/dev/ci/ci-template.sh b/dev/ci/ci-template.sh new file mode 100755 index 000000000..700105aed --- /dev/null +++ b/dev/ci/ci-template.sh @@ -0,0 +1,12 @@ +#!/usr/bin/env bash + +ci_dir="$(dirname "$0")" +source ${ci_dir}/ci-common.sh + +Template_CI_BRANCH=master +Template_CI_GITURL=https://github.com/Template/Template +Template_CI_DIR=${CI_BUILD_DIR}/Template + +git_checkout ${Template_CI_BRANCH} ${Template_CI_GITURL} ${Template_CI_DIR} + +( cd ${Template_CI_DIR} && make -j ${NJOBS} ) |