diff -r 00b0798b34d5 -r 3bb687fbe344 Makefile --- 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