blob: 59674656c63da829d06af7b9b59965a383958c27 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
diff --git a/makefile b/makefile
index 503c030..4146ba2 100644
--- a/makefile
+++ b/makefile
@@ -3,7 +3,7 @@
# To regenerate run ``niminst csource`` or ``koch csource``
CC ?= gcc
-CFLAGS += -Ic_code -w -O3 -fno-strict-aliasing
+CFLAGS += -Ic_code -w -fno-strict-aliasing
LDFLAGS +=
binDir = bin
|