Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat (limited to 'eclipse-platform-parent')
-rw-r--r--eclipse-platform-parent/pom.xml34
1 files changed, 34 insertions, 0 deletions
diff --git a/eclipse-platform-parent/pom.xml b/eclipse-platform-parent/pom.xml
index 3ca9244e..c470ec16 100644
--- a/eclipse-platform-parent/pom.xml
+++ b/eclipse-platform-parent/pom.xml
@@ -626,6 +626,40 @@
</repository>
</repositories>
</profile>
+ <id>java10patch47</id>
+ <properties>
+ <qualifier.format>'v'yyyyMMdd-HHmm'_BETA_JAVA10'</qualifier.format>
+
+ <featureToPatch>org.eclipse.jdt</featureToPatch>
+
+ <!--
+ For future versions, in addition to changing this value of "featureToPatchVersion",
+ the same value needs to be edited in
+ .../java10patch47/org.eclipse.jdt.java10patch/feature.xml
+ and
+ .../java10patch47/org.eclipse.jdt-feature-dummy/feature.xml
+ and it of course, must "match" what ever version was produced by the build specified
+ a few lines below, as the eclipse-p2-repo-java10patch47 p2 repository, as well as the lower
+ bound, in 'versionRangeForPatch'.
+
+ Also, when new patch created, should update the wiki at
+ https://wiki.eclipse.org/Java10
+ -->
+ <!-- This needs the version of the feature to be patched. -->
+ <featureToPatchVersion>3.13.3.v20180125-0335</featureToPatchVersion>
+ <!-- Can specify an exact range here, or something of a loose range, depending on what's needed. -->
+ <versionRangeForPatch>[3.13.3.v20180125-0335,3.13.3.v20180207-1700)</versionRangeForPatch>
+ <!-- Comment this line when a patch is required on top of I-build -->
+ <comparator.repo>http://download.eclipse.org/eclipse/updates/4.7-M-builds</comparator.repo>
+ </properties>
+ <repositories>
+ <repository>
+ <id>eclipse-p2-repo-java10patch47</id>
+ <url>http://download.eclipse.org/eclipse/updates/4.7-M-builds</url>
+ <layout>p2</layout>
+ </repository>
+ </repositories>
+ </profile>
<profile>
<id>build-individual-bundles</id>
<activation>

Back to the top