From c7de786f8fcc385e5b45f08b500d79405f01dd2b Mon Sep 17 00:00:00 2001
From: spiralvoice <spiralvoice>
Date: Tue, 7 Sep 2010 18:24:39 +0000
Subject: [PATCH] patch #7299

---
 configure         | 2 +-
 distrib/ChangeLog | 3 +++
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/configure b/configure
index 334e6bf0..b28956bb 100755
--- a/configure
+++ b/configure
@@ -43,5 +43,5 @@ else
           echo "Running m4 to generate Makefile..."
           m4 Makefile.in > ../Makefile
        fi \
-    && ./configure $*
+    && ./configure --enable-option-checking=fatal $*
 fi
diff --git a/distrib/ChangeLog b/distrib/ChangeLog
index 5541fb9f..1e77cc79 100644
--- a/distrib/ChangeLog
+++ b/distrib/ChangeLog
@@ -14,6 +14,9 @@ http://mldonkey.sourceforge.net/Windows#MinGW_Installation
 ChangeLog
 =========
 
+2010/09/07
+7299: configure: abort on unknown options
+
 2010/09/01
 7296: Fix compilation problems introduced by patch 7144 (ygrek)
 - remove linking to camlp4lib
-- 
2.11.4.GIT