From: Evgeniy Khramtsov <ekhramtsov@process-one.net>
Date: Mon, 20 Mar 2017 10:48:17 +0000 (+0300)
Subject: Remove webtool from erlang.plt creation
X-Git-Tag: 17.03~20
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=c526c02d92411d13603311751bd88f4b29eda5c0;p=ejabberd

Remove webtool from erlang.plt creation
---

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