Do not load overlay data (workaround to fix CI).

coq · Dec 18, 2020 · c99cf10 · c99cf10
1 parent e11d3f6
commit c99cf10
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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 #####