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
commit532129c29b434ab86156faeb2f22309f4e3ecf4f (patch)
tree55c5e5af2010bed342d18254ce0bc73b7161212b
parentc6a619aeb40e5385f3e81fb93478df0ef001baaf (diff)
parentddd7eb9d66921dcf99a793719799d22bf4bb9f5c (diff)
downloadrabbitmq-server-git-532129c29b434ab86156faeb2f22309f4e3ecf4f.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 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