diff options
author | Christian Pontesegger | 2022-04-29 15:43:12 +0000 |
---|---|---|
committer | Christian Pontesegger | 2022-04-29 15:43:12 +0000 |
commit | e9d936925b15d902031cb8a324ff84c9b09a76b9 (patch) | |
tree | 8414c288f9b4637cc49d1380b866bf430cb9ee81 | |
parent | 61a0dbff58ac48859ca40ceb1aa089b0de00a259 (diff) | |
download | org.eclipse.ease.core-e9d936925b15d902031cb8a324ff84c9b09a76b9.tar.gz org.eclipse.ease.core-e9d936925b15d902031cb8a324ff84c9b09a76b9.tar.xz org.eclipse.ease.core-e9d936925b15d902031cb8a324ff84c9b09a76b9.zip |
Bug 579803: [Build] pyDev update site download restrictions
use mirror for main build
Change-Id: I37ec64615f5f675f19aae94626535ead8defc148
-rw-r--r-- | releng/org.eclipse.ease.releng.target/org.eclipse.ease.releng.target.target | 4 | ||||
-rw-r--r-- | releng/org.eclipse.ease.releng.target/org.eclipse.ease.releng.target.tpd | 4 |
2 files changed, 5 insertions, 3 deletions
diff --git a/releng/org.eclipse.ease.releng.target/org.eclipse.ease.releng.target.target b/releng/org.eclipse.ease.releng.target/org.eclipse.ease.releng.target.target index b23390a0..25030ed2 100644 --- a/releng/org.eclipse.ease.releng.target/org.eclipse.ease.releng.target.target +++ b/releng/org.eclipse.ease.releng.target/org.eclipse.ease.releng.target.target @@ -1,7 +1,7 @@ <?xml version="1.0" encoding="UTF-8" standalone="no"?> <?pde?> <!-- generated with https://github.com/eclipse-cbi/targetplatform-dsl --> -<target name="2021-06" sequenceNumber="1634797096"> +<target name="2021-06" sequenceNumber="1651246959"> <locations> <location includeMode="planner" includeAllPlatforms="false" includeSource="true" includeConfigurePhase="false" type="InstallableUnit"> <unit id="org.eclipse.platform.feature.group" version="4.21.0.v20210906-0842"/> @@ -31,7 +31,7 @@ </location> <location includeMode="planner" includeAllPlatforms="false" includeSource="true" includeConfigurePhase="false" type="InstallableUnit"> <unit id="org.python.pydev.feature.feature.group" version="0.0.0"/> - <repository id="pydev" location="http://www.pydev.org/updates"/> + <repository id="pydev" location="https://pydev-9-3-0.surge.sh"/> </location> </locations> <targetJRE path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/> diff --git a/releng/org.eclipse.ease.releng.target/org.eclipse.ease.releng.target.tpd b/releng/org.eclipse.ease.releng.target/org.eclipse.ease.releng.target.tpd index 6d61c0d7..608d903c 100644 --- a/releng/org.eclipse.ease.releng.target/org.eclipse.ease.releng.target.tpd +++ b/releng/org.eclipse.ease.releng.target/org.eclipse.ease.releng.target.tpd @@ -38,6 +38,8 @@ location "http://eclipse.py4j.org/" py4j-eclipse { org.py4j.feature.feature.group lazy } -location "http://www.pydev.org/updates" pydev { +// main site, see https://www.pydev.org/updates/ for mirrors +// location "http://www.pydev.org/updates" pydev { +location "https://pydev-9-3-0.surge.sh" pydev { org.python.pydev.feature.feature.group lazy } |