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
commit5bdfcd5b2069e4ef9a9c6eb0fc2c6ddf5ab45d17 (patch)
treef38ad1f804830a5fd77ff4e80077ecafb8c13a61 /Makefile
parent1e1ea54173ddcd546b770bb12c0cd77de01fc649 (diff)
downloadrabbitmq-server-git-5bdfcd5b2069e4ef9a9c6eb0fc2c6ddf5ab45d17.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 127fa2fe5a..7bfdf44ebb 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 )