diff options
author | James Fish <james@fishcakez.com> | 2015-03-05 14:10:09 +0000 |
---|---|---|
committer | James Fish <james@fishcakez.com> | 2015-03-05 14:19:08 +0000 |
commit | 7f60448d333b2fa78de2de14f0f047eb12116bc9 (patch) | |
tree | 702fb223a17f7dae3bc35f84d2932ff395354464 /bootstrap/rebar | |
parent | 5f773d7adf738a1dbfdb9c047952477007d70ad3 (diff) |
Change default project PLT location to base directory
Previously dialyzer stored the project PLT in ./build/, which meant the
same PLT was used for all profiles. This could mean partial rebuilding
of a PLT when switching between profiles.
Diffstat (limited to 'bootstrap/rebar')
0 files changed, 0 insertions, 0 deletions