1 files changed, 4 insertions, 0 deletions
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