summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorTuncer Ayaz <tuncer.ayaz@gmail.com>2015-02-27 23:17:24 +0100
committerTuncer Ayaz <tuncer.ayaz@gmail.com>2015-05-22 09:53:09 +0200
commit850a8a3dcedaf400a2e9d1afa67c80ebfd370a60 (patch)
tree6946f22c5f109b07d1be60aa07b44d80f28b0df4 /.gitignore
parent094b74e488291156cda8d12fffa6f62750d44f47 (diff)
downloadrebar-850a8a3dcedaf400a2e9d1afa67c80ebfd370a60.tar.gz
Add Dialyzer plugin
Build project-specific PLT $ rebar build-plt Check the PLT for consistency and rebuild it if it is not up-to-date $ rebar check-plt Analyze the code for discrepancies $ rebar dialyze Delete project-specific PLT $ rebar delete-plt Valid rebar.config options: %% Store PLT in ~/.rebar/plt (Default) {dialyzer_plt_location,shared} %% Store PLT locally inside the project in .rebar {dialyzer_plt_location,local} %% Store PLT in custom directory {dialyzer_plt_location,"custom_path"} {dialyzer_plt_extra_apps,[app1,app2]} {dialyzer_warnings,[unmatched_returns,error_handling]}
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 0 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore
index 15668a7..671ac10 100644
--- a/.gitignore
+++ b/.gitignore
@@ -4,7 +4,6 @@
*.orig
.*.swp
/rt.work
-/dialyzer_warnings
/rebar.cmd
/.eunit
/deps