summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMatthew Sackman <matthew@lshift.net>2009-08-14 15:20:35 +0100
committerMatthew Sackman <matthew@lshift.net>2009-08-14 15:20:35 +0100
commitcade9b2f39c6cab02389accbe163a8ab2c7d4564 (patch)
treebe193ef68a44af3e703ba861e4215ae1051f2f9b
parent3204a927abbcf9d1079d3be740c2b5b60aaf4b80 (diff)
downloadrabbitmq-server-git-cade9b2f39c6cab02389accbe163a8ab2c7d4564.tar.gz
Bumped requirement for checking specs to R13B.
-rw-r--r--Makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index e8ac727648..e3f40beb61 100644
--- a/Makefile
+++ b/Makefile
@@ -20,10 +20,10 @@ PYTHON=python
ifndef USE_SPECS
# our type specs rely on features / bug fixes in dialyzer that are
-# only available in R12B-3 upwards
+# only available in R13B upwards (R13B is eshell 5.7.1)
#
# 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.6.2" ]; then echo "true"; else echo "false"; fi)
+USE_SPECS=$(shell if [ $$(erl -noshell -eval 'io:format(erlang:system_info(version)), halt().') \> "5.7.0" ]; then echo "true"; else echo "false"; fi)
endif
#other args: +native +"{hipe,[o3,verbose]}" -Ddebug=true +debug_info +no_strict_record_tests