From c526c02d92411d13603311751bd88f4b29eda5c0 Mon Sep 17 00:00:00 2001 From: Evgeniy Khramtsov Date: Mon, 20 Mar 2017 13:48:17 +0300 Subject: [PATCH] Remove webtool from erlang.plt creation --- Makefile.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile.in b/Makefile.in index 28c04227f..a0b4553dc 100644 --- a/Makefile.in +++ b/Makefile.in @@ -295,7 +295,7 @@ dialyzer/erlang.plt: @mkdir -p dialyzer @dialyzer --build_plt --output_plt dialyzer/erlang.plt \ -o dialyzer/erlang.log --apps kernel stdlib sasl crypto \ - public_key ssl mnesia inets odbc tools compiler erts webtool \ + public_key ssl mnesia inets odbc tools compiler erts \ runtime_tools asn1 observer xmerl et gs wx syntax_tools; \ status=$$? ; if [ $$status -ne 2 ]; then exit $$status; else exit 0; fi