about summary refs log tree commit diff
path: root/externals
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2004-11-03T16·51+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2004-11-03T16·51+0000
commit4cbd845aa491b5cf534f8c031d285fc454933868 (patch)
treebd2c9a353cfee46903895dc5ca8e8bb91cd49cb0 /externals
parent5f2c5a306cf59d3b2400aba5c1be403e4b6e79c5 (diff)
* Don't propagate our CFLAGS to the ATerm library since it breaks at
  -O2.

Diffstat (limited to 'externals')
-rw-r--r--externals/Makefile.am3
1 files changed, 1 insertions, 2 deletions
diff --git a/externals/Makefile.am b/externals/Makefile.am
index 8741967618ed..150f23ff228d 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