summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorMatthew Sackman <matthew@rabbitmq.com>2010-07-27 11:18:11 +0100
committerMatthew Sackman <matthew@rabbitmq.com>2010-07-27 11:18:11 +0100
commit5946ee28f4cab80aaac239bb85334140c8fea537 (patch)
tree8da9064d96606c6e4feb5dc8b0f47aa60291a3bc /Makefile
parent8fe7f07e412bd21182e55f8f4b3b9ba7613045de (diff)
parentc1a9bcccece68e8db7b4ac58c1006cc9829eb40b (diff)
downloadrabbitmq-server-git-5946ee28f4cab80aaac239bb85334140c8fea537.tar.gz
Merging default into bug 21922
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index a66d0640e3..5694292dcf 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