From f371ead0234693ab8f68591d160cc2ee4dd8509f Mon Sep 17 00:00:00 2001
From: Jason Gross
Date: Fri, 2 Jun 2017 20:12:23 -0400
Subject: Add an overlay for coq-dpdgraph for 8.7

---
 dev/ci/ci-basic-overlay.sh | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'dev')

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
-- 
cgit v1.2.3