From a985cfcf0d1d4ff8c4d2633b38019a0b4e9bdf96 Mon Sep 17 00:00:00 2001
From: Nils Andreas Svee <me@lochnair.net>
Date: Sun, 27 Nov 2022 14:42:16 +0100
Subject: [PATCH] jenkinsfile: use wget for java memory reasons

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 94c4816..bc36534 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -33,7 +33,7 @@ pipeline {
 				stages {
 					stage('Download GCC toolchain') {
 						steps {
-							httpRequest outputFile: GCC_TARGET + '-cross.tgz', url: TOOLCHAIN_URL
+							sh "wget ${TOOLCHAIN_URL}"
 							sh 'mkdir ' + GCC_TARGET + '-cross'
 							sh 'tar -x -z -f ' + GCC_TARGET + '-cross.tgz'
 						}