Skip to content

Commit ada37af

Browse files
committed
Fix bug when generating app PTL for the first time
Removes unnecessary checks for warnings when building the application PLT for the first time, these should be ignored until the actual analysis after both the base and application PLT are checked or created. Signed-off-by: Winford <[email protected]>
1 parent 8d933ce commit ada37af

File tree

1 file changed

+2
-9
lines changed

1 file changed

+2
-9
lines changed

src/atomvm_dialyzer_provider.erl

Lines changed: 2 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -224,22 +224,15 @@ do_build_plt(Config, State) ->
224224
%% build plt
225225
BEAMdir = string:trim(get_app_beam_abspath(State)),
226226
PLT = string:trim(plt_absolute_name(State)),
227-
BasePLT = base_plt_absname(Config),
228227
try
229228
dialyzer:run([
230229
{analysis_type, plt_build},
231-
{init_plt, PLT},
232-
{plts, [BasePLT]},
233230
{output_plt, PLT},
234231
{files_rec, [BEAMdir]}
235232
])
236233
of
237-
[] ->
238-
ok;
239-
Failure ->
240-
print_warnings(Failure),
241-
rebar_api:abort("Failed to create project plt!~n", []),
242-
{error, dialyzer_error}
234+
_ ->
235+
ok
243236
catch
244237
throw:{dialyzer_error, Error} ->
245238
rebar_api:abort("Failed to crete plt, error:~p~n", [Error]),

0 commit comments

Comments
 (0)