[java-idp-integration-tests] branch master updated: Add Tomcat 9.0.12 profile for Jenkins

[Tom Zeller]

This is an automated email from the git hooks/post-receive script.

tzeller pushed a commit to branch master
in repository java-idp-integration-tests.

View the commit online:
http://git.shibboleth.net/view/?p=java-idp-integration-tests.git;a=commit;h=62ce3ef7d785c8fce54849d406654a2c05619a70

The following commit(s) were added to refs/heads/master by this push:
       new  62ce3ef   Add Tomcat 9.0.12 profile for Jenkins
62ce3ef is described below

commit 62ce3ef7d785c8fce54849d406654a2c05619a70
Author: Tom Zeller <tzeller at dragonacea.biz>
AuthorDate: Mon Oct 22 13:28:44 2018 -0500

    Add Tomcat 9.0.12 profile for Jenkins
---
 pom.xml | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/pom.xml b/pom.xml
index e0078b7..3a71d5b 100644
--- a/pom.xml
+++ b/pom.xml
@@ -466,6 +466,16 @@
             </properties>
         </profile>
 
+        <!--
+        Tomcat 9.0.12
+        -->
+        <profile>
+            <id>tomcat-9.0.12</id>
+            <properties>
+                <idp-tomcat-base.version>9.0.0-SNAPSHOT</idp-tomcat-base.version>
+                <tomcat.version>9.0.12</tomcat.version>
+            </properties>
+        </profile>
 
         <!--
         The jetty profile unpacks Jetty, idp-jetty-base, and adds the testbed to Jetty.

-- 
To stop receiving notification emails like this one, please contact
the administrator of this repository.