diff options
Diffstat (limited to 'eclipse-platform-parent/pom.xml')
| -rw-r--r-- | eclipse-platform-parent/pom.xml | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/eclipse-platform-parent/pom.xml b/eclipse-platform-parent/pom.xml index 3ca9244e0..c470ec168 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> |