rnd-19981204-2

[rocksndiamonds.git] / src / Makefile

diff --git a/src/Makefile b/src/Makefile
index 3019442b927bbc46e2e13e3a669c1a060af26fa0..3735291679c09be9eb9a0e84331b1bf06ec0b814 100644 (file)
--- a/src/Makefile
+++ b/src/Makefile
@@ -70,6 +70,7 @@ CONFIG = $(CONFIG_GAME_DIR) $(SOUNDS) $(JOYSTICK)     \
 
 # DEBUG = -DDEBUG -g -Wall -ansi -pedantic
 # DEBUG = -DDEBUG -g -Wall
+# DEBUG = -O3 -Wall -ansi -pedantic
 DEBUG = -O3 -Wall
 # DEBUG = -O3