From: Brian Norris <banorris@uci.edu>
Date: Thu, 1 Nov 2012 17:59:42 +0000 (-0700)
Subject: common.mk: build with -O3 (except for Mac OSX)
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=commitdiff_plain;h=547377c72c02a7831b63f5c7aa2ac2559109907c

common.mk: build with -O3 (except for Mac OSX)
---

diff --git a/common.mk b/common.mk
index 009ae634..b2adf4ca 100644
--- a/common.mk
+++ b/common.mk
@@ -8,9 +8,11 @@ UNAME = $(shell uname)
 LIB_NAME = model
 LIB_SO = lib$(LIB_NAME).so
 
-CPPFLAGS += -Wall -g -O0
+CPPFLAGS += -Wall -g
 
 # Mac OSX options
 ifeq ($(UNAME), Darwin)
-CPPFLAGS += -D_XOPEN_SOURCE -DMAC
+CPPFLAGS += -D_XOPEN_SOURCE -DMAC -O0
+else
+CPPFLAGS += -O3
 endif