projects
/
satune.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Adding timeout for Alloy interpreter
[satune.git]
/
src
/
common.mk
diff --git
a/src/common.mk
b/src/common.mk
index b60aa709f74d1d511ba75e8d9881e0fa8279cd17..8ffb36415bedd1a82654855695bdbf3b0be88dcd 100644
(file)
--- a/
src/common.mk
+++ b/
src/common.mk
@@
-8,7
+8,7
@@
UNAME := $(shell uname)
LIB_NAME := cons_comp
LIB_SO := lib_$(LIB_NAME).so
-CPPFLAGS += -Wall -g -O
3
+CPPFLAGS += -Wall -g -O
0
# Mac OSX options
ifeq ($(UNAME), Darwin)