Adds ini redirection for the Github-based setup link #150

eclipse-viatra · Apr 2, 2024 · 9ea2e27 · 9ea2e27
1 parent 31a4bf1
commit 9ea2e27
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/releng/org.eclipse.viatra.setup/VIATRAEMF.setup b/releng/org.eclipse.viatra.setup/VIATRAEMF.setup
@@ -870,6 +870,11 @@
         option="-Doomph.redirection.viatra.setup"
         value="=https://git.eclipse.org/c/viatra/org.eclipse.viatra.git/plain/releng/org.eclipse.viatra.setup/VIATRAEMF.setup->${git.clone.viatra.location|uri}/releng/org.eclipse.viatra.setup/VIATRAEMF.setup"
         vm="true"/>
+    <setupTask
+        xsi:type="setup:EclipseIniTask"
+        option="-Doomph.redirection.viatra.setup"
+        value="=https://raw.githubusercontent.com/eclipse-viatra/org.eclipse.viatra/master/releng/org.eclipse.viatra.setup/VIATRAEMF.setup->${git.clone.viatra.location|uri}/releng/org.eclipse.viatra.setup/VIATRAEMF.setup"
+        vm="true"/>
     <setupTask
         xsi:type="pde:APIBaselineTask"
         name="viatraBaseline"