diff options
| author | Guillaume Bour <guillaume@bour.cc> | 2016-07-22 10:43:16 +0200 |
|---|---|---|
| committer | Guillaume Bour <guillaume@bour.cc> | 2016-07-22 10:43:16 +0200 |
| commit | ffe5e42521aef4315be97f7baff2c7819fd79237 (patch) | |
| tree | 4f80d66f56e939daa686fe5d6f5a9f49ccbdb30a /src | |
| parent | 21571ad38a693124d2294db5c163eeae257f4280 (diff) | |
Fix support for `not_valid` dialyzer error
Diffstat (limited to 'src')
| -rw-r--r-- | src/rebar_prv_dialyzer.erl | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/rebar_prv_dialyzer.erl b/src/rebar_prv_dialyzer.erl index 82d2d07..0376918 100644 --- a/src/rebar_prv_dialyzer.erl +++ b/src/rebar_prv_dialyzer.erl @@ -260,6 +260,9 @@ read_plt(_State, Plt) -> Result; {error, no_such_file} -> error; + {error, not_valid} -> + Error = io_lib:format("Could not read the PLT file ~p", [Plt]), + throw({dialyzer_error, Error}); {error, read_error} -> Error = io_lib:format("Could not read the PLT file ~p", [Plt]), throw({dialyzer_error, Error}) |