diff options
-rw-r--r-- | org.eclipse.debug.core/build.properties | 3 | ||||
-rw-r--r-- | org.eclipse.debug.ui/build.properties | 21 |
2 files changed, 16 insertions, 8 deletions
diff --git a/org.eclipse.debug.core/build.properties b/org.eclipse.debug.core/build.properties index 6a788eb4e..201ec27ca 100644 --- a/org.eclipse.debug.core/build.properties +++ b/org.eclipse.debug.core/build.properties @@ -4,6 +4,7 @@ bin.includes = .options,\ build.includes = .options,\
plugin.jars,\
plugin.xml,\
- doc
+ doc,\
+ build.properties
build.vaj.Eclipse\ Debug\ Core = Eclipse Debug Core
source.dtcore.jar = Eclipse Debug Core
diff --git a/org.eclipse.debug.ui/build.properties b/org.eclipse.debug.ui/build.properties index 7f15121fe..b09d233b2 100644 --- a/org.eclipse.debug.ui/build.properties +++ b/org.eclipse.debug.ui/build.properties @@ -1,7 +1,14 @@ -# VAJ build contribution
-build.includes=.options,plugin.jars,plugin.xml,plugin.properties,icons,doc
-build.vaj.Eclipse\ Debug\ UI=Eclipse Debug UI
-
-# Eclipse build contribution
-source.dtui.jar=Eclipse Debug UI
-bin.includes=icons/,.options,plugin.xml,plugin.properties,*.jar
+bin.includes = icons/,\
+ .options,\
+ plugin.xml,\
+ plugin.properties,\
+ *.jar
+build.includes = .options,\
+ plugin.jars,\
+ plugin.xml,\
+ plugin.properties,\
+ icons,\
+ doc,\
+ build.properties
+build.vaj.Eclipse\ Debug\ UI = Eclipse Debug UI
+source.dtui.jar = Eclipse Debug UI
|