From 2c92030ff07aff9b10e49844343390925b81545c Mon Sep 17 00:00:00 2001
From: David Ostrovsky <david@ostrovsky.org>
Date: Sun, 27 Oct 2013 23:12:14 +0100
Subject: Kill servlet-api and tomcat

Change-Id: I630da3fa37144b2e5fb5117017f43841ba89c42a
Reviewed-on: https://gerrit.libreoffice.org/6454
Tested-by: LibreOffice gerrit bot <gerrit@libreoffice.org>
Reviewed-by: Michael Stahl <mstahl@redhat.com>
---
 RepositoryExternal.mk | 12 ------------
 1 file changed, 12 deletions(-)

(limited to 'RepositoryExternal.mk')

diff --git a/RepositoryExternal.mk b/RepositoryExternal.mk
index d1b0b08a02e3..d3b8dc5f1167 100644
--- a/RepositoryExternal.mk
+++ b/RepositoryExternal.mk
@@ -2873,18 +2873,6 @@ endef
 
 endif # SYSTEM_RHINO
 
-ifeq ($(SYSTEM_TOMCAT),YES)
-
-gb_ExternalProject__use_servlet_api :=
-
-else # !SYSTEM_TOMCAT
-
-define gb_ExternalProject__use_servlet_api
-$(eval $(call gb_ExternalProject_use_external_project,$(1),tomcat))
-endef
-
-endif # SYSTEM_TOMCAT
-
 ifeq ($(SYSTEM_APACHE_COMMONS),YES)
 
 define gb_Jar__use_commons-codec
-- 
cgit