Ticket #10994: patch-build.properties.default

File patch-build.properties.default, 545 bytes (added by jcbuffington@…, 18 years ago)

Patch to use archive.eclipse.org as the source for the JDT package.

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 -----