blob: a4dd0e8b1ac9e8d2efa6d61f6a15f07bd90664b5 (
plain) (
tree)
|
|
--- src/Makefile.orig Tue Mar 19 03:43:15 2002
+++ src/Makefile Wed Apr 3 20:51:21 2002
@@ -101,7 +101,7 @@
# PROFILING = $(PROFILING_FLAGS)
# OPTIONS = $(DEBUG) -Wall # only for debugging purposes
-OPTIONS = $(DEBUG) -O3 -Wall # only for debugging purposes
+OPTIONS?= $(DEBUG) -O3 -Wall # only for debugging purposes
# OPTIONS = $(DEBUG) -Wall -ansi -pedantic # only for debugging purposes
# OPTIONS = -O3 -Wall -ansi -pedantic
# OPTIONS = -O3 -Wall
|