From 5145cd5f6264cc34c6dcb7eb044e8f40a58d29c9 Mon Sep 17 00:00:00 2001
From: jjgarcia <jjgarcia>
Date: Fri, 29 Oct 2004 16:51:52 +0000
Subject: [PATCH] Fixed typo

---
 configure | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/configure b/configure
index 36b3e66cf..ea7f0d242 100755
--- a/configure
+++ b/configure
@@ -23,7 +23,7 @@ echo Switching to directory "\`${buildir}'" to continue configuration.
 # 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
 #
-if ( echo $* | grep guess-host-cflags ) ||\
+if ( echo $* | grep guess-host-cflags )
   #
   # In some architectures/OS, a flag is required to select the ABI. GMP
   # guesses these flags, and stores them in CFLAGS and GMP_LDFLAGS.