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