source: trunk/dports/java/tomcat5/files/patch-build.properties.default @ 20583

Last change on this file since 20583 was 20583, checked in by jberry@…, 14 years ago

Patch Tomcat5 for missing dependency of eclipse. #10994. Thanks jcbuffington

File size: 545 bytes
Line 
1--- ../build/build.properties.default.orig      2006-09-12 11:12:23.000000000 -0400
2+++ ../build/build.properties.default   2006-11-06 20:48:16.000000000 -0500
3@@ -138,7 +138,7 @@
4 jdt.home=${base.path}/eclipse/plugins
5 jdt.lib=${jdt.home}
6 jdt.jar=${jdt.lib}/org.eclipse.jdt.core_3.1.2.jar
7-jdt.loc=http://sunsite.informatik.rwth-aachen.de/eclipse/downloads/drops/R-3.1.2-200601181600/eclipse-JDT-3.1.2.zip
8+jdt.loc=http://archive.eclipse.org/eclipse/downloads/drops/R-3.1.2-200601181600/eclipse-JDT-3.1.2.zip
9 
10 
11 # ----- Tomcat native library -----
Note: See TracBrowser for help on using the repository browser.