diff options
author | Markus Knauer | 2007-06-25 17:10:09 +0000 |
---|---|---|
committer | Markus Knauer | 2007-06-25 17:10:09 +0000 |
commit | f7f61a88fc904df78d53cc80cf31bd49890b9507 (patch) | |
tree | 6e7d249bb5ebef69de48cea3d7c73be7ec7a83ff | |
parent | 388d12a5823cc8c7a576fb2ccffa1cadecd3e2b4 (diff) | |
download | org.eclipse.epp.packages-f7f61a88fc904df78d53cc80cf31bd49890b9507.tar.gz org.eclipse.epp.packages-f7f61a88fc904df78d53cc80cf31bd49890b9507.tar.xz org.eclipse.epp.packages-f7f61a88fc904df78d53cc80cf31bd49890b9507.zip |
plugin_customization.ini to platform
-rw-r--r-- | releng/org.eclipse.epp.config/Eclipse_IDE_for_JEE_Developers/build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/releng/org.eclipse.epp.config/Eclipse_IDE_for_JEE_Developers/build.sh b/releng/org.eclipse.epp.config/Eclipse_IDE_for_JEE_Developers/build.sh index 2abd99ea..6bb367f9 100644 --- a/releng/org.eclipse.epp.config/Eclipse_IDE_for_JEE_Developers/build.sh +++ b/releng/org.eclipse.epp.config/Eclipse_IDE_for_JEE_Developers/build.sh @@ -34,7 +34,7 @@ fi # plugin_customization.ini echo "Copying plugin_customization.ini" cp -a $SCRIPT_DIRECTORY/plugin_customization.ini \ - $SCRIPT_DIRECTORY/target/extension_site/eclipse/plugins/org.eclipse.ide_3.3.0.*/ + $SCRIPT_DIRECTORY/target/extension_site/eclipse/plugins/org.eclipse.platform_3.3.0.*/ # eclipse.ini for TARGET in $TARGETS; |