diff --git a/Jenkins/Jenkinsfile b/Jenkins/Jenkinsfile index f81c61f115..032c43a291 100755 --- a/Jenkins/Jenkinsfile +++ b/Jenkins/Jenkinsfile @@ -10,7 +10,7 @@ pipeline { agent { label "${params.BUILD_LABEL_CPU}" } options { timestamps() - timeout( time: "${BUILD_TIMEOUT}", unit: 'HOURS' ) + timeout( time: "${params.BUILD_TIMEOUT}", unit: 'HOURS' ) } environment{ def workspace = pwd()