Skip to content

Commit

Permalink
Stricter dialyzer options
Browse files Browse the repository at this point in the history
  • Loading branch information
@Vagabond
Vagabond committed Aug 28, 2012
1 parent bc338b2 commit d1de19b
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion Makefile
View file
Original file line number Original file line Diff line number Diff line change
Expand Up @@ -39,7 +39,7 @@ dialyzer: compile
@echo Use "'make build_plt'" to build PLT prior to using this target. @echo Use "'make build_plt'" to build PLT prior to using this target.
@echo @echo
@sleep 1 @sleep 1
dialyzer -Wno_return -Wunmatched_returns --plt $(COMBO_PLT) ebin | \ dialyzer -Wunmatched_returns --plt $(COMBO_PLT) ebin | \
fgrep -v -f ./dialyzer.ignore-warnings fgrep -v -f ./dialyzer.ignore-warnings


cleanplt: cleanplt:
Expand Down

0 comments on commit d1de19b

Please sign in to comment.