aboutsummaryrefslogtreecommitdiffstats
path: root/README.md
diff options
context:
space:
mode:
authorDaniel White <[email protected]>2014-01-18 15:28:55 +1100
committerDaniel White <[email protected]>2014-01-18 15:30:01 +1100
commitdd3b39955c03b0df134f854fcc491f4f5451f75b (patch)
treeaee30ccd450adfead823d1cdcebe715d52f7370f /README.md
parent46d08fcffe8848b492089c29c2effb7767075792 (diff)
downloaderlang.mk-dd3b39955c03b0df134f854fcc491f4f5451f75b.tar.gz
erlang.mk-dd3b39955c03b0df134f854fcc491f4f5451f75b.tar.bz2
erlang.mk-dd3b39955c03b0df134f854fcc491f4f5451f75b.zip
Add DIALYZER_PLT variable
This is useful for optionally sharing a PLT amongst projects or dependencies.
Diffstat (limited to 'README.md')
-rw-r--r--README.md2
1 files changed, 2 insertions, 0 deletions
diff --git a/README.md b/README.md
index 22cb2bf..bec67d9 100644
--- a/README.md
+++ b/README.md
@@ -191,6 +191,8 @@ then you only need to put `ponies` in the list.
`stdlib` in there because they will always be included. The applications
the project depends on will also be included.
+`DIALYZER_PLT` allows you to change the PLT file used by dialyzer.
+
`DIALYZER_OPTS` allows you to change the `dialyzer` options.
`PKG_FILE` allows you to change the location of the package index file