Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorEd Willink2016-11-04 14:58:21 +0000
committerEd Willink2016-11-04 14:58:21 +0000
commit5edfa664ce806455c9a056a195203fea23b80f37 (patch)
tree10ea974c90417d01d9626d1981dc50b8d9f0f51f
parentb1cdd47b5ebc669cc2a2bcf90c4a59f3aa7a7b85 (diff)
downloadorg.eclipse.qvtd-5edfa664ce806455c9a056a195203fea23b80f37.tar.gz
org.eclipse.qvtd-5edfa664ce806455c9a056a195203fea23b80f37.tar.xz
org.eclipse.qvtd-5edfa664ce806455c9a056a195203fea23b80f37.zip
[releng] Suppress the broken Xtext nightly repo
-rw-r--r--releng/org.eclipse.qvtd.releng.buckminster/releng/qvtd.rmap4
1 files changed, 2 insertions, 2 deletions
diff --git a/releng/org.eclipse.qvtd.releng.buckminster/releng/qvtd.rmap b/releng/org.eclipse.qvtd.releng.buckminster/releng/qvtd.rmap
index 603263cb3..d430b19eb 100644
--- a/releng/org.eclipse.qvtd.releng.buckminster/releng/qvtd.rmap
+++ b/releng/org.eclipse.qvtd.releng.buckminster/releng/qvtd.rmap
@@ -329,13 +329,13 @@
</rm:provider>
</rm:searchPath>
<rm:searchPath name="xtext">
- <rm:provider componentTypes="osgi.bundle,eclipse.feature" resolutionFilter="(&amp;(resolve.target.platform=true)(|(build.type=I)(build.type=N)))" readerType="p2" source="false" mutable="false">
+ <!--m:provider componentTypes="osgi.bundle,eclipse.feature" resolutionFilter="(&amp;(resolve.target.platform=true)(|(build.type=I)(build.type=N)))" readerType="p2" source="false" mutable="false">
<rm:property key="buckminster.source" value="false"/>
<rm:property key="buckminster.mutable" value="false"/>
<rm:uri format="{0}/modeling/tmf/updates/nightly">
<bc:propertyRef key="eclipse.download"/>
</rm:uri>
- </rm:provider>
+ </rm:provider-->
<rm:provider componentTypes="osgi.bundle,eclipse.feature" resolutionFilter="(&amp;(resolve.target.platform=true)(|(build.type=I)(build.type=N)(build.type=S)))" readerType="p2" source="false" mutable="false">
<rm:property key="buckminster.source" value="false"/>
<rm:property key="buckminster.mutable" value="false"/>

Back to the top