From b4eb1b5479a58f95471cf3755b84c011f3d1051e Mon Sep 17 00:00:00 2001
From: Nils Andreas Svee <me@lochnair.net>
Date: Sun, 27 Nov 2022 15:18:19 +0100
Subject: [PATCH] jenkinsfile: check gcc version

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

diff --git a/Jenkinsfile b/Jenkinsfile
index c77f065..17e3ffd 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -34,7 +34,7 @@ pipeline {
 					stage('Download GCC toolchain') {
 						when {
 							expression {
-								def res = sh(script: "${GCC_TARGET}-gcc", returnStatus: true)
+								def res = sh(script: "${GCC_TARGET}-gcc -v", returnStatus: true)
 
                                 if (res > 0) {
                                     return false