diff options
| author | Jason Gross | 2017-06-02 20:12:23 -0400 |
|---|---|---|
| committer | Jason Gross | 2017-06-02 20:12:23 -0400 |
| commit | f371ead0234693ab8f68591d160cc2ee4dd8509f (patch) | |
| tree | 2680cd3a6bb2bc90060310d76515db711000dd8d /dev/ci/ci-basic-overlay.sh | |
| parent | e41a13eefcf7762fc9cf9fb901e3d88f5773bea9 (diff) | |
Add an overlay for coq-dpdgraph for 8.7
Diffstat (limited to 'dev/ci/ci-basic-overlay.sh')
| -rw-r--r-- | dev/ci/ci-basic-overlay.sh | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/dev/ci/ci-basic-overlay.sh b/dev/ci/ci-basic-overlay.sh index 8bd68f4ee6..73a3ba04f2 100644 --- a/dev/ci/ci-basic-overlay.sh +++ b/dev/ci/ci-basic-overlay.sh @@ -115,8 +115,11 @@ ######################################################################## # coq-dpdgraph ######################################################################## -: ${coq_dpdgraph_CI_BRANCH:=master} -: ${coq_dpdgraph_CI_GITURL:=https://github.com/Karmaki/coq-dpdgraph.git} +# Temporary overlay +: ${coq_dpdgraph_CI_BRANCH:=trunk+clobber-test-suite} +: ${coq_dpdgraph_CI_GITURL:=https://github.com/JasonGross/coq-dpdgraph.git} +#: ${coq_dpdgraph_CI_BRANCH:=master} +#: ${coq_dpdgraph_CI_GITURL:=https://github.com/Karmaki/coq-dpdgraph.git} ######################################################################## # CoLoR |