diff options
| author | Matthias Radestock <matthias@lshift.net> | 2009-07-21 17:43:55 +0100 |
|---|---|---|
| committer | Matthias Radestock <matthias@lshift.net> | 2009-07-21 17:43:55 +0100 |
| commit | 8e48a4bbb3ae51e2b6eb6b2f8b8154e24a25c14c (patch) | |
| tree | 0c83bd72326e214dd6b3c0f5751bb3e65a6b08b9 /Makefile | |
| parent | dd90570105929f29fa2c4e78e98ee544952af3e2 (diff) | |
| download | rabbitmq-server-git-8e48a4bbb3ae51e2b6eb6b2f8b8154e24a25c14c.tar.gz | |
raise minimum required otp version for dialyzer support to R12B-5
since we depend on some new features, notably the 'timeout()' type.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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 R12B-5 upwards # # 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.6.4" ]; then echo "true"; else echo "false"; fi) endif #other args: +native +"{hipe,[o3,verbose]}" -Ddebug=true +debug_info +no_strict_record_tests |