Makefile
changeset 1479 3bb687fbe344
parent 1476 abbcea18a01c
child 1491 d010857e470a
--- a/Makefile	Thu Mar 10 10:59:35 2005 +0000
+++ b/Makefile	Thu Mar 10 15:23:13 2005 +0000
@@ -286,7 +286,15 @@
 endif
 
 ifdef DEBUG
-  CFLAGS += -g -fno-inline -D_DEBUG
+  ifeq ($(shell expr $(DEBUG) \>= 1), 1)
+    CFLAGS += -g -D_DEBUG
+  endif
+  ifeq ($(shell expr $(DEBUG) \>= 2), 1)
+    CFLAGS += -fno-inline
+  endif
+  ifeq ($(shell expr $(DEBUG) \>= 3), 1)
+    CFLAGS += -O0
+  endif
 endif
 
 ifdef PROFILE