From 85999bcd0df91b8cd9fd7fc07d1bc780a92c0225 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Fri, 5 Jun 2020 12:01:23 +0200
Subject: Fix Coquelicot build in Windows add-ons.

Adapted from 747936a9d9a7402f537e1e1a857c7591d8e88d2a
---
 dev/build/windows/makecoq_mingw.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dev')

diff --git a/dev/build/windows/makecoq_mingw.sh b/dev/build/windows/makecoq_mingw.sh
index 1a5a8b29fd..8c2e87ddb7 100755
--- a/dev/build/windows/makecoq_mingw.sh
+++ b/dev/build/windows/makecoq_mingw.sh
@@ -1814,7 +1814,7 @@ function make_addon_coquelicot {
   installer_addon_dependency_end
   if build_prep_overlay coquelicot; then
     installer_addon_section coquelicot "Coquelicot" "Coq library for real analysis" ""
-    logn autogen ./autogen.sh
+    log1 autoreconf -i -s
     logn configure ./configure --libdir="$PREFIXCOQ/lib/coq/user-contrib/Coquelicot"
     logn remake ./remake
     logn remake-install ./remake install
-- 
cgit v1.2.3