From db593b70af9c24b02ca924678c8fd64dd0f8bc08 Mon Sep 17 00:00:00 2001 From: Marlus Saraiva Date: Mon, 27 Jul 2015 18:40:52 +0200 Subject: main/erlang: move from testing --- ...7-Split-off-webtool-dependency-from-tools.patch | 38 ---------------------- 1 file changed, 38 deletions(-) delete mode 100644 testing/erlang/0007-Split-off-webtool-dependency-from-tools.patch (limited to 'testing/erlang/0007-Split-off-webtool-dependency-from-tools.patch') diff --git a/testing/erlang/0007-Split-off-webtool-dependency-from-tools.patch b/testing/erlang/0007-Split-off-webtool-dependency-from-tools.patch deleted file mode 100644 index 6a58f5cea0..0000000000 --- a/testing/erlang/0007-Split-off-webtool-dependency-from-tools.patch +++ /dev/null @@ -1,38 +0,0 @@ -From: Peter Lemenkov -Date: Sat, 8 Nov 2014 22:54:57 +0300 -Subject: [PATCH] Split off webtool dependency from tools - -Signed-off-by: Peter Lemenkov - ---- otp_src_18.0-orig/lib/tools/src/cover_web.erl -+++ otp_src_18.0-fixed/lib/tools/src/cover_web.erl -@@ -51,14 +51,25 @@ - %%%---------------------------------------------------------------------- - %% Start webtool and webcover from erlang shell - start() -> -- webtool:start(), -- webtool:start_tools([],"app=webcover"), -+ try -+ % Disable automatic dependency picking up -+ erlang:apply(webtool, start, []), -+ erlang:apply(webtool, start_tools, [[],"app=webcover"]) -+ catch -+ error:undef -> error_logger:error_msg("No erlang-webtool found.~nPlease install erlang-webtool package first.~n") -+ end, - ok. - - %% Stop webtool and webcover from erlang shell - stop() -> -- webtool:stop_tools([],"app=webcover"), -- webtool:stop(). -+ try -+ % Disable automatic dependency picking up -+ erlang:apply(webtool, stop_tools, [[],"app=webcover"]), -+ erlang:apply(webtool, stop, []) -+ catch -+ error:undef -> error_logger:error_msg("No erlang-webtool found.~nPlease install erlang-webtool package first.~n") -+ end, -+ ok. - - - -- cgit v1.2.3