[Pki-devel] [PATCH] 883 Added support for building with generic Tomcat.

[Endi Sukma Dewata]

Previously the build scripts would only work with specific Tomcat
versions officially supported by the operating system. To support
other Tomcat versions the build scripts have been modified such
that they will use the Tomcat installation specified in the
TOMCAT_HOME variable. The Tomcat-specific PKI source folder to use
can now be specified in the PKI_TOMCAT_SRC variable.

https://fedorahosted.org/pki/ticket/2560

-- 
Endi S. Dewata
-------------- next part --------------
A non-text attachment was scrubbed...
Name: pki-edewata-0883-Added-support-for-building-with-generic-Tomcat.patch
Type: text/x-patch
Size: 7231 bytes
Desc: not available
URL: <http://listman.redhat.com/archives/pki-devel/attachments/20161218/ed82e1df/attachment.bin>