From f6f8ecbbf8f1338f9d4424aa9be4fcd89a26d1ea Mon Sep 17 00:00:00 2001 From: trevor_hansen Date: Tue, 6 Jul 2010 01:33:40 +0000 Subject: [PATCH] Revert. In r915 I removed the default -m32 flag by accident. git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@927 e59a4935-1847-0410-ae03-e826735625c1 --- scripts/Makefile.common | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/Makefile.common b/scripts/Makefile.common index 765b520..89da27b 100644 --- a/scripts/Makefile.common +++ b/scripts/Makefile.common @@ -15,8 +15,8 @@ #OPTIMIZE = -O3 -fPIC # Maximum optimization #OPTIMIZE = -O3 -march=native -fomit-frame-pointer # Maximum optimization #OPTIMIZE = -O3 -march=native -DNDEBUG -DLESSBYTES_PERNODE -OPTIMIZE = -O3 # Maximum optimization -CFLAGS_M32 = -g +OPTIMIZE = -O3 -g # Maximum optimization +CFLAGS_M32 = -m32 #-fno-inline CFLAGS_BASE = $(OPTIMIZE) -- 2.47.3