Use "curl" instead of <get> in order to use the system proxy settings

See ukf-meta#439 for details
InCommon · Jun 25, 2024 · 2eea3bf · 2eea3bf
1 parent c9ec827
commit 2eea3bf
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/build.xml b/build.xml
@@ -1259,7 +1259,10 @@
     -->
     <target name="jenkins.triggerjob.publish">
         <echo>Triggering Jenkins publication Job.</echo>
-        <get src="${jenkins.url.to.trigger.publication}" dest="${temp.dir}/get.out"/>
+        <!-- we do not use <get> here because it does not uses system proxy settings -->
+        <exec executable="curl" dir="${output.dir}" failonerror="true">
+            <arg value="${jenkins.url.to.trigger.publication}"/>
+        </exec>
     </target>
 
     <!--