Skip to content
This repository has been archived by the owner on Nov 28, 2017. It is now read-only.

Commit

Permalink
Browse files Browse the repository at this point in the history
included getopt in dialyzer
  • Loading branch information
freke committed Jun 1, 2012
1 parent 32009e4 commit 478e71c
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions makefile
Expand Up @@ -43,7 +43,7 @@ dialyzer: compile
@echo Use "'make build_plt'" to build PLT prior to using this target.
@echo
@sleep 1
dialyzer -Wno_return -Wunmatched_returns -Werror_handling -Wrace_conditions --plt $(COMBO_PLT) ebin | \
dialyzer -Wno_return -Wunmatched_returns -Werror_handling -Wrace_conditions --plt $(COMBO_PLT) ebin deps/getopt/ebin | \
fgrep -v -f dialyzer.ignore-warnings

cleanplt:
Expand All @@ -52,4 +52,4 @@ cleanplt:
@echo Deleting $(COMBO_PLT) in 5 seconds.
@echo
sleep 5
rm $(COMBO_PLT)
rm $(COMBO_PLT)

0 comments on commit 478e71c

Please sign in to comment.