commit 715512de407e6957a575b1a9eb55b670e0e5460e
author Dejan Glozic <dejan> Tue Jan 07 16:53:24 2003 +0000
committer Dejan Glozic <dejan> Tue Jan 07 16:53:24 2003 +0000
tree 2b471543cb27289ab89c9841b6055522f4f42530
parent 11c50d9b9e8f854563bd5ea5606d333bb4997db7

*** empty log message ***

update/org.eclipse.update.ui/build.properties

diff --git a/update/org.eclipse.update.ui/build.properties b/update/org.eclipse.update.ui/build.properties
index 6c5e012..dc00c4e 100644
--- a/update/org.eclipse.update.ui/build.properties
+++ b/update/org.eclipse.update.ui/build.properties
@@ -5,8 +5,9 @@
                about.html,\

                schema/,\

                webapp/

+jars.compile.order = updateui.jar,\

+                     webapp/WEB-INF/lib/update-servlets.jar

 src.includes = about.html

 source.updateui.jar = src/

 source.webapp/WEB-INF/lib/update-servlets.jar = src_webapp

-jars.compile.order = updateui.jar,\

-                     webapp/WEB-INF/lib/update-servlets.jar

+jars.extra.classpath = ../org.eclipse.tomcat/servlet.jar