diff --git a/Jenkinsfile b/Jenkinsfile index a416d6643..3fc24c404 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -174,7 +174,7 @@ node("${params.BUILD_ON_NODE}") { returnStdout: true, script: """ @echo off - if defined c (echo 1) else (echo 0) + if defined CTXSIGN (echo 1) else (echo 0) """ ).trim()