diff options
| -rw-r--r-- | eclipse-platform-parent/pom.xml | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/eclipse-platform-parent/pom.xml b/eclipse-platform-parent/pom.xml index 0042d0c21..f8508eb96 100644 --- a/eclipse-platform-parent/pom.xml +++ b/eclipse-platform-parent/pom.xml @@ -610,41 +610,6 @@ </build> <profiles> <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.v20190125-0335)</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> <property> |