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

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

diff --git a/configure b/configure
index ea7f0d242..f79051bb1 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 ); then
   #
   # In some architectures/OS, a flag is required to select the ABI. GMP
   # guesses these flags, and stores them in CFLAGS and GMP_LDFLAGS.