diff options
Diffstat (limited to 'releng/packages/createFinalRepo.xml')
-rw-r--r-- | releng/packages/createFinalRepo.xml | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/releng/packages/createFinalRepo.xml b/releng/packages/createFinalRepo.xml new file mode 100644 index 000000000..3ec479218 --- /dev/null +++ b/releng/packages/createFinalRepo.xml @@ -0,0 +1,31 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!-- + This script is to create some zips with core features only. + Limited, specialized usefulness, so they are not linked or + advertised. That is, could change at any time. +--> +<project + default="build" + basedir="."> + <target + name="build"> + <!-- final repository work TODO: add comparitor --> + <p2.mirror + verbose="true"> + <repository + location="file://${buildDirectory}/${buildLabel}/repository/" + name="Web Tools Platform Repository ${buildLabel}" + format="file://${buildDirectory}/${buildLabel}/buildrepository/"/> + <source> + <repository + location="file://${buildDirectory}/${buildLabel}/buildrepository/"/> + </source> + <slicingoptions + followStrict="true"/> + <iu + id="org.eclipse.wst.common_core.feature.patch.feature.group"/> + <iu + id="org.eclipse.wst.xml_ui.feature.patch.feature.group"/> + </p2.mirror> + </target> +</project>
\ No newline at end of file |