diff --git a/Jenkinsfile b/Jenkinsfile index 6230f17..8d80fc2 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -36,7 +36,7 @@ pipeline { expression { def process = "${GCC_TARGET}-gcc".execute() - if process.exitValue() > 0 { + if (process.exitValue() > 0) { return false } else { return true