diff options
author | Stephan Herrmann | 2017-10-17 21:53:29 +0000 |
---|---|---|
committer | Stephan Herrmann | 2017-10-17 21:53:29 +0000 |
commit | 058cb48113ddbb8493e9326906bb5ff53b178dfe (patch) | |
tree | 8cc04b64dc71a9399106ba9be29d6c45dced2070 /releng | |
parent | 49574b8a10609e4c2be611071555deb8f4f61946 (diff) | |
download | org.eclipse.objectteams-058cb48113ddbb8493e9326906bb5ff53b178dfe.tar.gz org.eclipse.objectteams-058cb48113ddbb8493e9326906bb5ff53b178dfe.tar.xz org.eclipse.objectteams-058cb48113ddbb8493e9326906bb5ff53b178dfe.zip |
releng: build against Oxygen.1a
+ version fix in map
Diffstat (limited to 'releng')
-rw-r--r-- | releng/map/otdt.map.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/releng/map/otdt.map.in b/releng/map/otdt.map.in index 6f7ea748d..95ddd1089 100644 --- a/releng/map/otdt.map.in +++ b/releng/map/otdt.map.in @@ -9,7 +9,7 @@ feature@org.eclipse.objectteams.otequinox.otre=GIT,repo=git://git.eclipse.org/gi feature@org.eclipse.objectteams.otequinox.turbo=GIT,repo=git://git.eclipse.org/gitroot/objectteams/org.eclipse.objectteams.git,path=features/org.eclipse.objectteams.otequinox.turbo.feature,tag=builds/201506091717
!-- Also don't use version numbers for those plugins that hold the various otre jars: --
-plugin@org.eclipse.jdt.core,3.13.0.v_OTDT_r261_qualifier=GIT,repo=git://git.eclipse.org/gitroot/objectteams/org.eclipse.objectteams.git,path=org.eclipse.jdt.core
+plugin@org.eclipse.jdt.core,3.13.50.v_OTDT_r261_qualifier=GIT,repo=git://git.eclipse.org/gitroot/objectteams/org.eclipse.objectteams.git,path=org.eclipse.jdt.core
!next plug-in don't specify version so that org.eclipse.objectteams.runtime/customBuildCallbacks.xml will find the plug-in directory:
plugin@org.eclipse.objectteams.otdt=GIT,repo=git://git.eclipse.org/gitroot/objectteams/org.eclipse.objectteams.git,path=plugins/org.eclipse.objectteams.otdt
|