tomcat-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "Jason Brittain" <jason.britt...@gmail.com>
Subject Update build.properties.default for new JDT URL
Date Sat, 06 Oct 2007 17:59:07 GMT
Hi guys.

Tomcat 6.0.x's build.properties.default needs a new URL for the
JDT download.  It appears that 3.2.2 isn't available anymore.
Here is a diff for pulling 3.3.1 instead, which at least builds:

Index: build.properties.default
===================================================================
--- build.properties.default    (revision 582521)
+++ build.properties.default    (working copy)
@@ -56,8 +56,8 @@
 # ----- Eclipse JDT, version 3.2 or later -----
 jdt.home=${base.path}/eclipse/plugins
 jdt.lib=${jdt.home}
-jdt.jar=${jdt.lib}/org.eclipse.jdt.core_3.2.3.v_686_R32x.jar
-jdt.loc=http://sunsite.informatik.rwth-aachen.de/eclipse/downloads/drops/R-3.2.2-200702121330/eclipse-JDT-3.2.2.zip
+jdt.jar=${jdt.lib}/org.eclipse.jdt.core_3.3.1.v_780_R33x.jar
+jdt.loc=http://sunsite.informatik.rwth-aachen.de/eclipse/downloads/drops/R-3.3.1-200709211145/eclipse-JDT-3.3.1.zip

 # ----- Tomcat native library -----
 tomcat-native.home=${base.path}/tomcat-native-1.1.10

Cheers.

-- 
Jason Brittain

---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscribe@tomcat.apache.org
For additional commands, e-mail: dev-help@tomcat.apache.org


Mime
View raw message