diff options
| -rw-r--r-- | java/eclipse/files/patch-eclipse-platform-parent | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/java/eclipse/files/patch-eclipse-platform-parent b/java/eclipse/files/patch-eclipse-platform-parent index d37c87c9a025..cd15089c0366 100644 --- a/java/eclipse/files/patch-eclipse-platform-parent +++ b/java/eclipse/files/patch-eclipse-platform-parent @@ -41,3 +41,12 @@ diff -ru eclipse-platform-parent/pom.xml eclipse-platform-parent/pom.xml </environment> <environment> <os>win32</os> +@@ -657,7 +657,7 @@ + For maintenance streams should always be "M-builds". + Ideally, this value would be provided by the environment, see bug 489789. + --> +- <eclipse-p2-repo.url>https://download.eclipse.org/eclipse/updates/4.12-I-builds</eclipse-p2-repo.url> ++ <eclipse-p2-repo.url>https://download.eclipse.org/eclipse/updates/4.12</eclipse-p2-repo.url> + </properties> + <repositories> + <repository> |