File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -41,10 +41,10 @@ RABBIT_PLT=rabbit.plt
4141
4242ifndef USE_SPECS
4343# our type specs rely on features and bug fixes in dialyzer that are
44- # only available in R13B01 upwards (R13B01 is eshell 5.7.2 )
44+ # only available in R13B04 upwards (R13B04 is erts 5.7.5 )
4545#
4646# NB: the test assumes that version number will only contain single digits
47- USE_SPECS =$(shell if [ $$(erl -noshell -eval 'io:format(erlang:system_info(version ) ) , halt().') \> "5.7.1 " ]; then echo "true"; else echo "false"; fi)
47+ USE_SPECS =$(shell if [ $$(erl -noshell -eval 'io:format(erlang:system_info(version ) ) , halt().') \> "5.7.4 " ]; then echo "true"; else echo "false"; fi)
4848endif
4949
5050# other args: +native +"{hipe,[o3,verbose]}" -Ddebug=true +debug_info +no_strict_record_tests
You can’t perform that action at this time.
0 commit comments