diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -24,18 +24,18 @@ eunit: @$(REBAR) eunit skip_deps=true ct: - @$(REBAR) ct skip_deps=true suites=http,ws + @$(REBAR) ct skip_deps=true suites=http,proper,ws intct: - @$(REBAR) ct skip_deps=true suites=http,ws,autobahn + @$(REBAR) ct skip_deps=true suites=http,proper,ws,autobahn 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 -Werror_handling \ - -Wrace_conditions -Wunmatched_returns # -Wunderspecs + @$(DIALYZER) --src src --plt .cowboy_dialyzer.plt --no_native \ + -Werror_handling -Wrace_conditions -Wunmatched_returns # -Wunderspecs docs: @$(REBAR) doc skip_deps=true |