From 73186ea1985bee87cba3c09af2bf95d6bc2c9fc6 Mon Sep 17 00:00:00 2001
From: jjgarcia <jjgarcia>
Date: Fri, 29 Oct 2004 16:46:38 +0000
Subject: [PATCH] Deactivate host guessing with GMP

---
 configure | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/configure b/configure
index 04c1ede7a..f76479773 100755
--- a/configure
+++ b/configure
@@ -19,6 +19,13 @@ fi
 
 echo Switching to directory "\`${buildir}'" to continue configuration.
 
+cd ${buildir}
+${srcdir}/configure --srcdir=${srcdir} $*
+exit
+
+#########################################################################
+# THE FOLLOWING HAS BEEN DEACTIVATED. ENSURE YOU PASS THE RIGHT FLAGS
+# TO GCC!
 #
 # There are two ways to configure ECL. If we use our own version of GMP,
 # we let it configure itself and later on retrieve the appropiate flags