summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorJean-Sébastien Pédron <jean-sebastien@rabbitmq.com>2016-06-28 15:26:41 +0200
committerJean-Sébastien Pédron <jean-sebastien@rabbitmq.com>2016-06-28 16:02:00 +0200
commitfa20bbcc482e3bd09678351191ee9a296113b3dc (patch)
tree48f231deb1eb3d8a1396cf12c21821942b464382 /Makefile
parentd27a16388d28e753120f30b047ab64077abb9f88 (diff)
downloadrabbitmq-server-git-fa20bbcc482e3bd09678351191ee9a296113b3dc.tar.gz
Use the new -spec format
The old format is removed in Erlang 19.0, leading to build errors. Also, get rid of the `use_specs` macro and thus always define -spec() & friends. While here, unnify the style of -type and -spec. References #860. [#118562897] [#122335241]
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile6
1 files changed, 0 insertions, 6 deletions
diff --git a/Makefile b/Makefile
index b11de0fcfc..ee4c1a0afd 100644
--- a/Makefile
+++ b/Makefile
@@ -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/