summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMatthew Sackman <matthew@rabbitmq.com>2010-07-21 17:30:18 +0100
committerMatthew Sackman <matthew@rabbitmq.com>2010-07-21 17:30:18 +0100
commit96479285ba6409174ae313ca7bdff491dbf78942 (patch)
tree55c5e5af2010bed342d18254ce0bc73b7161212b
parentec4ca063cbb5d8503a7ef992d349783ff80f408b (diff)
parenta00c6066f4b4b88a2e436206b86e6e28b395e0d8 (diff)
downloadrabbitmq-server-96479285ba6409174ae313ca7bdff491dbf78942.tar.gz
Merging default into bug 21673
-rw-r--r--Makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index a66d0640..5694292d 100644
--- a/Makefile
+++ b/Makefile
@@ -41,10 +41,10 @@ RABBIT_PLT=rabbit.plt
ifndef USE_SPECS
# our type specs rely on features and bug fixes in dialyzer that are
-# only available in R13B04 upwards (R13B04 is erts 5.7.5)
+# only available in R14A upwards (R13B04 is erts 5.7.5)
#
# NB: the test assumes that version number will only contain single digits
-USE_SPECS=$(shell if [ $$(erl -noshell -eval 'io:format(erlang:system_info(version)), halt().') \> "5.7.4" ]; then echo "true"; else echo "false"; fi)
+USE_SPECS=$(shell if [ $$(erl -noshell -eval 'io:format(erlang:system_info(version)), halt().') \> "5.7.5" ]; then echo "true"; else echo "false"; fi)
endif
#other args: +native +"{hipe,[o3,verbose]}" -Ddebug=true +debug_info +no_strict_record_tests