tomcat-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Kurt Miller <t...@optonline.net>
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" <truk@optonline.net>
To: "Tomcat Developers List" <tomcat-dev@jakarta.apache.org>
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
specified.
> I've attached a patch that removes the need for a jdk when --with-jni is
not
> 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
>
>

Mime
View raw message