summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorSimon MacMullen <simon@rabbitmq.com>2014-06-02 12:19:08 +0100
committerSimon MacMullen <simon@rabbitmq.com>2014-06-02 12:19:08 +0100
commit02171a529c4f35b7cf2ab195d37cf3850bca08ad (patch)
treef38ad1f804830a5fd77ff4e80077ecafb8c13a61 /Makefile
parent999742622e37e6f53aa809dca723829d4fb0fd98 (diff)
downloadrabbitmq-server-02171a529c4f35b7cf2ab195d37cf3850bca08ad.tar.gz
Don't be so intrusive into gm.erl.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile6
1 files changed, 6 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 127fa2fe..7bfdf44e 100644
--- a/Makefile
+++ b/Makefile
@@ -56,6 +56,12 @@ endif
#other args: +native +"{hipe,[o3,verbose]}" -Ddebug=true +debug_info +no_strict_record_tests
ERLC_OPTS=-I $(INCLUDE_DIR) -o $(EBIN_DIR) -Wall -v +debug_info $(call boolean_macro,$(USE_SPECS),use_specs) $(call boolean_macro,$(USE_PROPER_QC),use_proper_qc)
+ifdef INSTRUMENT_FOR_QC
+ERLC_OPTS += -DINSTR_MOD=gm_qc
+else
+ERLC_OPTS += -DINSTR_MOD=gen_server2
+endif
+
include version.mk
PLUGINS_SRC_DIR?=$(shell [ -d "plugins-src" ] && echo "plugins-src" || echo )