aboutsummaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--Makefile3
1 files changed, 2 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index f3068b0..8a9adc0 100644
--- a/Makefile
+++ b/Makefile
@@ -12,7 +12,8 @@ JAVADIRS=-s "pure-java" -d "bin/pure-java" -cp "pure-java"
JAVAFLAGS=-Xlint
JAVA_FLAGS=$(JAVADIRS) $(JAVAFLAGS)
-CFLAGS=-W{all,extra} -pedantic
+# NB! Do not forget to test against -O0, -O4 to -O6 is not safe
+CFLAGS=-W{all,extra} -pedantic -O6
CPPFLAGS=
LDFLAGS=
C_FLAGS=$(CFLAGS) $(CPPFLAGS) $(LDFLAGS)