diff options
| author | Stavros Aronis <[email protected]> | 2012-09-21 10:09:26 +0200 |
|---|---|---|
| committer | Stavros Aronis <[email protected]> | 2012-09-26 11:04:00 +0200 |
| commit | f985ec421d2a9da3186445157f82185c7c4dea72 (patch) | |
| tree | 501b77a4535117c204554fe9c2c71851e055ecc5 /lib/dialyzer/src | |
| parent | ae36dda6c36ecee6888993f0f275d02e149e7484 (diff) | |
| download | otp-f985ec421d2a9da3186445157f82185c7c4dea72.tar.gz otp-f985ec421d2a9da3186445157f82185c7c4dea72.tar.bz2 otp-f985ec421d2a9da3186445157f82185c7c4dea72.zip | |
Respect {plt_check,false} option when using dialyzer:run/1
Diffstat (limited to 'lib/dialyzer/src')
| -rw-r--r-- | lib/dialyzer/src/dialyzer.erl | 19 |
1 files changed, 11 insertions, 8 deletions
diff --git a/lib/dialyzer/src/dialyzer.erl b/lib/dialyzer/src/dialyzer.erl index 3e3c12405f..99388438b1 100644 --- a/lib/dialyzer/src/dialyzer.erl +++ b/lib/dialyzer/src/dialyzer.erl @@ -162,14 +162,17 @@ run(Opts) -> {error, Msg} -> throw({dialyzer_error, Msg}); OptsRecord -> - case cl_check_init(OptsRecord) of - {ok, ?RET_NOTHING_SUSPICIOUS} -> - case dialyzer_cl:start(OptsRecord) of - {?RET_DISCREPANCIES, Warnings} -> Warnings; - {?RET_NOTHING_SUSPICIOUS, []} -> [] - end; - {error, ErrorMsg1} -> - throw({dialyzer_error, ErrorMsg1}) + case OptsRecord#options.check_plt of + true -> + case cl_check_init(OptsRecord) of + {ok, ?RET_NOTHING_SUSPICIOUS} -> ok; + {error, ErrorMsg1} -> throw({dialyzer_error, ErrorMsg1}) + end; + false -> ok + end, + case dialyzer_cl:start(OptsRecord) of + {?RET_DISCREPANCIES, Warnings} -> Warnings; + {?RET_NOTHING_SUSPICIOUS, []} -> [] end catch throw:{dialyzer_error, ErrorMsg} -> |