commit a0de537744a97bb6909368b3669ad0171f7ff86a
author DJ Houghton <dj> Tue Mar 08 11:36:56 2005 +0000
committer DJ Houghton <dj> Tue Mar 08 11:36:56 2005 +0000
tree bdc0c92bde6406d6a7ccedeca25fbb854edb40ad
parent c04fc1c414ca82c966209243a67b46f21d8fb58d

Updated build.properties to include performance.options.

bundles/org.eclipse.core.runtime/build.properties

diff --git a/bundles/org.eclipse.core.runtime/build.properties b/bundles/org.eclipse.core.runtime/build.properties
index 7526e15..cbaf715 100644
--- a/bundles/org.eclipse.core.runtime/build.properties
+++ b/bundles/org.eclipse.core.runtime/build.properties
@@ -14,7 +14,8 @@
                plugin.xml,\
                *.jar,\
                META-INF/,\
-               asl-v20.txt
+               asl-v20.txt,\
+               performance.options
 source.runtime.jar = src/
 src.includes=about.html,schema/,component.xml