From c99cf105cc62b640b8b6cc97ad85bdca59aa84fe Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Fri, 18 Dec 2020 13:13:10 +0100
Subject: Do not load overlay data (workaround to fix CI).

---
 dev/build/windows/makecoq_mingw.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'dev')

diff --git a/dev/build/windows/makecoq_mingw.sh b/dev/build/windows/makecoq_mingw.sh
index 6b59c987fb..beed8bc443 100755
--- a/dev/build/windows/makecoq_mingw.sh
+++ b/dev/build/windows/makecoq_mingw.sh
@@ -1435,12 +1435,12 @@ function make_coq {
     # make clean
 
     # Copy these files somewhere the plugin builds can find them
-    logn copy-basic-overlays cp dev/ci/ci-basic-overlay.sh /build/
+    #logn copy-basic-overlays cp dev/ci/ci-basic-overlay.sh /build/
 
     build_post
   fi
 
-  load_overlay_data
+  #load_overlay_data
 }
 
 ##### GNU Make for MinGW #####
-- 
cgit v1.2.3