Konstantin, On 4/15/14, 2:59 AM, Konstantin Kolinko wrote: > 2014-04-15 5:25 GMT+04:00 Christopher Schultz <ch...@christopherschultz.net>: >> All, >> >> While back-porting r1587378 to Tomcat 7.0, it appears that I can't build >> Tomcat 7.0.x trunk: >> >> $ echo $JAVA_HOME >> /usr/local/java-7 > > JAVA_HOME should point to a Java 6 JDK for Tomcat 7. > > java.7.home in build.properties should point to Java 7 JDK. > > It requires both (if you wanna build WebSocket classes), the main being Java > 6.
Wow, how did I never notice that? I was compiling both Tomcat 8 and Tomcat 7 (serially) in the same terminal, so perhaps I've just always used by default JVM (Java 6) in the past. Thanks. The build works fine, now. -chris
signature.asc
Description: OpenPGP digital signature
