diff options
| author | Matthew Sackman <matthew@rabbitmq.com> | 2010-07-21 17:29:24 +0100 |
|---|---|---|
| committer | Matthew Sackman <matthew@rabbitmq.com> | 2010-07-21 17:29:24 +0100 |
| commit | ddd7eb9d66921dcf99a793719799d22bf4bb9f5c (patch) | |
| tree | 5b0fb709b90ead1accfc6c63344d5239aef4e839 | |
| parent | 5e1a01349a8e2ba636938ad5424c40cc45a6240f (diff) | |
| download | rabbitmq-server-git-ddd7eb9d66921dcf99a793719799d22bf4bb9f5c.tar.gz | |
Bump specs requirements to R14A
| -rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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 |