diff options
| author | Loïc Hoguin <[email protected]> | 2012-01-31 08:49:25 +0100 |
|---|---|---|
| committer | Loïc Hoguin <[email protected]> | 2012-01-31 08:49:25 +0100 |
| commit | e927a8228b5505b550fc42175cf2ae8c91f6d7d6 (patch) | |
| tree | 5786177e8061bdb9681bb994dc76bb2f323e0ff9 | |
| parent | e5aef5c1d7be8cffedfedda77d035fa30d5513dc (diff) | |
| download | cowboy-e927a8228b5505b550fc42175cf2ae8c91f6d7d6.tar.gz cowboy-e927a8228b5505b550fc42175cf2ae8c91f6d7d6.tar.bz2 cowboy-e927a8228b5505b550fc42175cf2ae8c91f6d7d6.zip | |
Pass --no_native option to dialyzer to improve dialyzing times
Goes from 36s to 24s on my laptop.
| -rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -29,8 +29,8 @@ build-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 |