From 74a92f5df5d68361035e95c6fba7404fc9af5ebb Mon Sep 17 00:00:00 2001
From: Nils Andreas Svee <me@lochnair.net>
Date: Sun, 27 Nov 2022 15:10:24 +0100
Subject: [PATCH] jenkinsfile: conditionally download toolchain

---
 Jenkinsfile | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index bc36534..6230f17 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -32,10 +32,22 @@ pipeline {
 
 				stages {
 					stage('Download GCC toolchain') {
+						when {
+							expression {
+								def process = "${GCC_TARGET}-gcc".execute()
+
+                                if process.exitValue() > 0 {
+                                    return false
+                                } else {
+                                    return true
+                                }
+							}
+						}
 						steps {
 							sh "wget ${TOOLCHAIN_URL}"
 							sh 'mkdir ' + GCC_TARGET + '-cross'
 							sh 'tar -x -z -f ' + GCC_TARGET + '-cross.tgz'
+							sh 'rm -vf ${GCC_TARGET}-cross.tgz'
 						}
 					}