Disable the platform setup's early redirect

#1605
eclipse-platform · Dec 5, 2023 · affa208 · affa208
1 parent 357029c
commit affa208
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/oomph/Platform.setup b/oomph/Platform.setup
@@ -160,6 +160,7 @@
   </setupTask>
   <setupTask
       xsi:type="setup:VariableTask"
+      disabled="true"
       type="BOOLEAN"
       name="early.redirection.4.31"
       defaultValue="true"
@@ -169,14 +170,17 @@
   </setupTask>
   <setupTask
       xsi:type="setup:CompoundTask"
+      disabled="true"
       filter="(early.redirection.4.31=true)"
       name="EarlyRedirection">
     <setupTask
         xsi:type="setup:RedirectionTask"
+        disabled="true"
         sourceURL="https://download.eclipse.org/eclipse/updates/4.30-I-builds"
         targetURL="https://download.eclipse.org/eclipse/updates/4.31-I-builds"/>
     <setupTask
         xsi:type="setup:RedirectionTask"
+        disabled="true"
         sourceURL="https://download.eclipse.org/eclipse/updates/4.29/R-4.29-202309031000"
         targetURL="https://download.eclipse.org/eclipse/updates/4.30-I-builds"/>
   </setupTask>