From fa475d37fde87683a38f765588aadac22acf6b93 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Tue, 28 Aug 2018 15:40:15 +0200
Subject: Remove leftover Makefile.config before configuration

So that if an error occurs during configuration, there is no
Makefile.config file and "make" will fail.

Closes: #244
---
 configure | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/configure b/configure
index 1c1a4c36..c7ccc038 100755
--- a/configure
+++ b/configure
@@ -86,6 +86,10 @@ Options:
   -ignore-coq-version  Accept to use experimental or unsupported versions of Coq
 '
 
+#
+# Remove Leftover Makefile.config (if any)  (GPR#244)
+#
+rm -f Makefile.config
 
 #
 # Parse Command-Line Arguments
-- 
cgit