From 478e71c35011e99a55449f69f31c928722af6952 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?David=20=C3=85berg?= Date: Fri, 1 Jun 2012 18:20:34 +0200 Subject: [PATCH] included getopt in dialyzer --- makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/makefile b/makefile index 8ad1688..214c4ee 100644 --- a/makefile +++ b/makefile @@ -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: @@ -52,4 +52,4 @@ cleanplt: @echo Deleting $(COMBO_PLT) in 5 seconds. @echo sleep 5 - rm $(COMBO_PLT) \ No newline at end of file + rm $(COMBO_PLT)