diff options
author | Daniel White <[email protected]> | 2014-01-18 15:28:55 +1100 |
---|---|---|
committer | Daniel White <[email protected]> | 2014-01-18 15:30:01 +1100 |
commit | dd3b39955c03b0df134f854fcc491f4f5451f75b (patch) | |
tree | aee30ccd450adfead823d1cdcebe715d52f7370f /README.md | |
parent | 46d08fcffe8848b492089c29c2effb7767075792 (diff) | |
download | erlang.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.md | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -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 |