Skip to content

Commit

Permalink
Browse files Browse the repository at this point in the history
Dialyze beams instead of sources
The source analysis doesn't play nice with conditional compilation
(e.g. the USE_NOW macro), because dialyzer would need to know about
the compile options used by rebar. Otherwise it may produce false
positive warnings, as it can check code intended for a different OTP
version.

Analysing the compiled beams solves this problem.
  • Loading branch information
dszoboszlay committed Mar 3, 2016
1 parent caf8d9a commit 528ada7
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion Makefile
Expand Up @@ -22,7 +22,7 @@ xref: all
@$(REBAR) xref

dialyze: all ~/.dialyzer_plt
dialyzer -Wno_return -nn --plt ~/.dialyzer_plt --src src
dialyzer -Wno_return -nn --plt ~/.dialyzer_plt ebin

~/.dialyzer_plt:
- dialyzer -nn --output_plt ~/.dialyzer_plt --build_plt \
Expand Down

0 comments on commit 528ada7

Please sign in to comment.