diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 3 |
1 files changed, 1 insertions, 2 deletions
@@ -29,8 +29,7 @@ build-plt: --apps kernel stdlib deps/cowboy dialyze: - @$(DIALYZER) --src src --plt .bullet_dialyzer.plt \ - -Wbehaviours -Werror_handling \ + @$(DIALYZER) --src src --plt .bullet_dialyzer.plt -Werror_handling \ -Wrace_conditions -Wunmatched_returns # -Wunderspecs docs: |