diff options
author | Badlop <badlop@process-one.net> | 2010-07-12 16:02:41 +0200 |
---|---|---|
committer | Badlop <badlop@process-one.net> | 2010-07-12 16:02:41 +0200 |
commit | 10d43c7cc60e1af6503b9ad68569a847f50df436 (patch) | |
tree | 905299802e918490ecd9a8ea3e42c0cdaf93fa47 /src | |
parent | Recompile the 'configure' script (diff) |
Only compile and install p1_prof when: make debugtools=true
Diffstat (limited to 'src')
-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 |