You are viewing a plain text version of this content. The canonical link for it is here.
Posted to dev@tomcat.apache.org by ma...@apache.org on 2020/04/01 17:06:19 UTC

[tomcat] branch master updated: Remove unnecessary setting - JreRemoteLifecycleListener has been removed

This is an automated email from the ASF dual-hosted git repository.

markt pushed a commit to branch master
in repository https://gitbox.apache.org/repos/asf/tomcat.git


The following commit(s) were added to refs/heads/master by this push:
     new 17fb15e  Remove unnecessary setting - JreRemoteLifecycleListener has been removed
17fb15e is described below

commit 17fb15e522842e9aa46a12997980145cec57de35
Author: Mark Thomas <ma...@apache.org>
AuthorDate: Wed Apr 1 18:01:30 2020 +0100

    Remove unnecessary setting - JreRemoteLifecycleListener has been removed
---
 build.xml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/build.xml b/build.xml
index 8bd2ac7..43f9dff 100644
--- a/build.xml
+++ b/build.xml
@@ -719,7 +719,6 @@
       <!-- Uncomment this to show unchecked warnings:
       <compilerarg value="-Xlint:unchecked"/>
       -->
-      <compilerarg value="-XDignore.symbol.file"/>
       <classpath refid="compile.classpath" />
     </javac>
     <!-- Copy static resource files -->


---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscribe@tomcat.apache.org
For additional commands, e-mail: dev-help@tomcat.apache.org