From 4cbd845aa491b5cf534f8c031d285fc454933868 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <e.dolstra@tudelft.nl>
Date: Wed, 3 Nov 2004 16:51:09 +0000
Subject: [PATCH] * Don't propagate our CFLAGS to the ATerm library since it
 breaks at   -O2.

---
 externals/Makefile.am | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/externals/Makefile.am b/externals/Makefile.am
index 8741967618..150f23ff22 100644
--- a/externals/Makefile.am
+++ b/externals/Makefile.am
@@ -56,8 +56,7 @@ else
 build-aterm: have-aterm
 	(pfx=`pwd` && \
 	cd $(ATERM) && \
-	CC="$(CC)" ./configure --prefix=$$pfx/inst-aterm \
-     --with-cflags="-DNDEBUG -DXGC_VERBOSE -DXHASHPEM -DWITH_STATS $(CFLAGS)" && \
+	CC="$(CC)" ./configure --prefix=$$pfx/inst-aterm && \
 	make && \
 	make install)
 	touch build-aterm