mirror of
https://github.com/correl/rebar.git
synced 2024-11-27 11:09:55 +00:00
Fix 'make build_plt'
The dialyzer --add_to_plt call was not specifying the proper rebar plt to add diameter to.
This commit is contained in:
parent
c074240b1f
commit
b813542f26
1 changed files with 3 additions and 1 deletions
4
Makefile
4
Makefile
|
@ -41,7 +41,9 @@ build_plt:
|
||||||
reltool \
|
reltool \
|
||||||
snmp \
|
snmp \
|
||||||
sasl
|
sasl
|
||||||
-dialyzer --add_to_plt --output_plt $(PLT_FILENAME) --apps diameter
|
-dialyzer --add_to_plt --plt $(PLT_FILENAME) \
|
||||||
|
--output_plt $(PLT_FILENAME) \
|
||||||
|
--apps diameter
|
||||||
|
|
||||||
dialyzer: dialyzer_warnings
|
dialyzer: dialyzer_warnings
|
||||||
@diff -U0 dialyzer_reference dialyzer_warnings
|
@diff -U0 dialyzer_reference dialyzer_warnings
|
||||||
|
|
Loading…
Reference in a new issue