summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authoralisdair sullivan <alisdairsullivan@yahoo.ca>2016-07-31 21:47:51 -0700
committerGitHub <noreply@github.com>2016-07-31 21:47:51 -0700
commitf57102aeb6b755ceed6bdb7a9412f72e12f4a71f (patch)
tree2a0cbf50efad051fa058f11ffdf9025f1b9cec0c
parentfef403b341a4c6bdf3626f00cc4c75ce268fa8c2 (diff)
parentb668329a9e7929f07f00d9a0647714690da4b4bd (diff)
Merge pull request #1279 from gbour/fix-dialyzer
fix catching `not_valid` error on dialyzer
-rw-r--r--src/rebar_prv_dialyzer.erl2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/rebar_prv_dialyzer.erl b/src/rebar_prv_dialyzer.erl
index 82d2d07..fc13de1 100644
--- a/src/rebar_prv_dialyzer.erl
+++ b/src/rebar_prv_dialyzer.erl
@@ -260,6 +260,8 @@ read_plt(_State, Plt) ->
Result;
{error, no_such_file} ->
error;
+ {error, not_valid} ->
+ error;
{error, read_error} ->
Error = io_lib:format("Could not read the PLT file ~p", [Plt]),
throw({dialyzer_error, Error})