aboutsummaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile5
1 files changed, 2 insertions, 3 deletions
diff --git a/Makefile b/Makefile
index 8ea1eb4..e5524f4 100644
--- a/Makefile
+++ b/Makefile
@@ -22,15 +22,14 @@ eunit:
@$(REBAR) eunit skip_deps=true
ct:
- @$(REBAR) ct
+ @$(REBAR) ct skip_deps=true
build-plt:
@$(DIALYZER) --build_plt --output_plt .cowboy_dialyzer.plt \
--apps kernel stdlib sasl inets crypto public_key ssl
dialyze:
- @$(DIALYZER) --src src --plt .cowboy_dialyzer.plt \
- -Wbehaviours -Werror_handling \
+ @$(DIALYZER) --src src --plt .cowboy_dialyzer.plt -Werror_handling \
-Wrace_conditions -Wunmatched_returns # -Wunderspecs
docs: