blob: 12e52b9fd14396b6644d7c27f849dbf438164edf (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
--- 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
|