From 705b593287c787d4c2e71b01b76e6a66d1bbb517 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Thu, 28 Mar 2019 14:22:51 +0100
Subject: Use only lowercase for unimath in CI scripts

Fix #9845
---
 dev/ci/ci-basic-overlay.sh | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'dev/ci/ci-basic-overlay.sh')

diff --git a/dev/ci/ci-basic-overlay.sh b/dev/ci/ci-basic-overlay.sh
index deeec3942d..62335ea5d0 100755
--- a/dev/ci/ci-basic-overlay.sh
+++ b/dev/ci/ci-basic-overlay.sh
@@ -24,9 +24,9 @@
 ########################################################################
 # UniMath
 ########################################################################
-: "${UniMath_CI_REF:=master}"
-: "${UniMath_CI_GITURL:=https://github.com/UniMath/UniMath}"
-: "${UniMath_CI_ARCHIVEURL:=${UniMath_CI_GITURL}/archive}"
+: "${unimath_CI_REF:=master}"
+: "${unimath_CI_GITURL:=https://github.com/UniMath/UniMath}"
+: "${unimath_CI_ARCHIVEURL:=${unimath_CI_GITURL}/archive}"
 
 ########################################################################
 # Unicoq + Mtac2
-- 
cgit v1.2.3