diff options
| author | Matthew Sackman <matthew@rabbitmq.com> | 2010-07-07 12:19:52 +0100 |
|---|---|---|
| committer | Matthew Sackman <matthew@rabbitmq.com> | 2010-07-07 12:19:52 +0100 |
| commit | 2b983e954501c8b2a77461e7287a9b0637b0605e (patch) | |
| tree | ab35d7737ed2b614fa29eefa7c6ae2adc4afd1e3 /Makefile | |
| parent | 5f0df9e92877e7448b1b738c96e8bc9f69838d4e (diff) | |
| download | rabbitmq-server-git-2b983e954501c8b2a77461e7287a9b0637b0605e.tar.gz | |
Bump use_specs to R13B04 or later
Diffstat (limited to 'Makefile')
| -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 R13B01 upwards (R13B01 is eshell 5.7.2) +# only available in R13B04 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.1" ]; then echo "true"; else echo "false"; fi) +USE_SPECS=$(shell if [ $$(erl -noshell -eval 'io:format(erlang:system_info(version)), halt().') \> "5.7.4" ]; then echo "true"; else echo "false"; fi) endif #other args: +native +"{hipe,[o3,verbose]}" -Ddebug=true +debug_info +no_strict_record_tests |