From fb2c950202cfc961f2807eecad315604eccfc819 Mon Sep 17 00:00:00 2001
From: Juan Jose Garcia Ripoll <jjgarcia@users.sourceforge.net>
Date: Sun, 22 Aug 2010 22:29:18 +0200
Subject: [PATCH] Use GMP_CPPFLAGS in src/util/ecl-config

---
 src/util/ecl-config | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/util/ecl-config b/src/util/ecl-config
index 0d4f009e1..30f62b34d 100644
--- a/src/util/ecl-config
+++ b/src/util/ecl-config
@@ -32,7 +32,7 @@ for i in $*; do
 done
 
 if test "$echo_cflags" = "yes"; then
-  echo "@ECL_CFLAGS@ @GMP_CFLAGS@ @DEBUG_CFLAGS@ -I@includedir\@"
+  echo "@ECL_CFLAGS@ @GMP_CPPFLAGS@ @DEBUG_CFLAGS@ -I@includedir\@"
 fi
 
 if test "$echo_ldflags" = "yes"; then