summaryrefslogtreecommitdiff
path: root/makefile
diff options
context:
space:
mode:
Diffstat (limited to 'makefile')
-rw-r--r--makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/makefile b/makefile
index 5ba2931..6b2f697 100644
--- a/makefile
+++ b/makefile
@@ -1,6 +1,6 @@
# arguments are not strictly necessary to build
-CC_EXTRA_ARGS = -Wall -Wextra -Og -ggdb
+CC_EXTRA_ARGS = -Wall -Wextra -O3 -ggdb
.PHONY: default
default: build/disk.iso