tomcat-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Kurt Miller <>
Subject Re: jk2/jni/jdk patch
Date Thu, 30 Oct 2003 20:56:22 GMT
Looks like the patch was stripped. Here it is again...

----- Original Message ----- 
From: "Kurt Miller" <>
To: "Tomcat Developers List" <>
Sent: Thursday, October 30, 2003 3:48 PM
Subject: jk2/jni/jdk patch

> I noticed when building jk2 using ./configure && make that the configure
> script checks for and requires a jdk even when --with-jni is not
> I've attached a patch that removes the need for a jdk when --with-jni is
> specified. Actually, the patch ignores
> the --with-java-home, --with-java-platform, and --with-os-type arguments
> unless --with-jni is specified.
> The patch is quite simple but due to indentation changes it got a little
> long. It changes the check for jni to be before the jdk checks. Then each
> jdk check is either performed or not performed based on if jni was
> specified.
> Please consider committing this if there are no objections or issues.
> -Kurt

View raw message