diff options
| -rw-r--r-- | src/Makefile.in | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/Makefile.in b/src/Makefile.in index 364063764..cf600c324 100644 --- a/src/Makefile.in +++ b/src/Makefile.in @@ -37,9 +37,8 @@ ifdef debug EFLAGS+=+debug_info +export_all endif -DEBUGTOOLS = ejabberd_debug.erl -ifdef ejabberd_debug - EFLAGS+=-Dejabberd_debug +DEBUGTOOLS = p1_prof.erl +ifdef debugtools SOURCES+=$(DEBUGTOOLS) endif |