diff options
| author | Jean-Sébastien Pédron <jean-sebastien@rabbitmq.com> | 2016-06-29 11:59:32 +0200 |
|---|---|---|
| committer | Jean-Sébastien Pédron <jean-sebastien@rabbitmq.com> | 2016-06-29 11:59:32 +0200 |
| commit | fbad57dfe085c1f1d6fe73bfe6bfab3188a91b15 (patch) | |
| tree | 928659cb679e0d3849fb2c885e219d7bebd51b9e /Makefile | |
| parent | b655d4cef1a835aed5f8b7be6095a6ce4bf88529 (diff) | |
| parent | 0923c9676fa7a1e5a839551ed6a11bb8192ff2c6 (diff) | |
| download | rabbitmq-server-git-fbad57dfe085c1f1d6fe73bfe6bfab3188a91b15.tar.gz | |
Merge branch 'stable'
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 6 |
1 files changed, 0 insertions, 6 deletions
@@ -91,12 +91,6 @@ ifdef CREDIT_FLOW_TRACING RMQ_ERLC_OPTS += -DCREDIT_FLOW_TRACING=true endif -ERTS_VER := $(shell erl -version 2>&1 | sed -E 's/.* version //') -USE_SPECS_MIN_ERTS_VER = 5.11 -ifeq ($(call compare_version,$(ERTS_VER),$(USE_SPECS_MIN_ERTS_VER),>=),true) -RMQ_ERLC_OPTS += -Duse_specs -endif - ifndef USE_PROPER_QC # PropEr needs to be installed for property checking # http://proper.softlab.ntua.gr/ |