diff options
author | James Fish <james@fishcakez.com> | 2015-06-04 11:03:44 +0100 |
---|---|---|
committer | James Fish <james@fishcakez.com> | 2015-06-06 11:06:09 +0100 |
commit | 643f04531c005b80dcef61038a6626ceedfb6337 (patch) | |
tree | a9804a409a459bc522881fb1ebeea53230d63bbd /rebar.config.sample | |
parent | 6e7ec606e222ed42f9f71669a54ee15ec588d0aa (diff) | |
download | rebar-643f04531c005b80dcef61038a6626ceedfb6337.tar.gz |
Drop support for `shared` plt
Diffstat (limited to 'rebar.config.sample')
-rw-r--r-- | rebar.config.sample | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/rebar.config.sample b/rebar.config.sample index da1e929..916e47c 100644 --- a/rebar.config.sample +++ b/rebar.config.sample @@ -271,9 +271,7 @@ {dialyzer, [ - %% Store PLT in ~/.rebar/plt (Default) - {plt_location, shared}, - %% Store PLT locally inside the project in .rebar + %% Store PLT locally inside the project in .rebar (Default) {plt_location, local}, %% Store PLT in custom directory {plt_location, "custom_dir"}, |