diff --git a/ci/Jenkinsfile b/ci/Jenkinsfile index 5f64ba4d8d..8c70e31cc4 100644 --- a/ci/Jenkinsfile +++ b/ci/Jenkinsfile @@ -149,7 +149,7 @@ pipeline { } } sh(script: './link_workflow.sh') - sh(script: "echo ${HOMEgfs} > BUILT_semaphor") + //sh(script: "echo ${HOMEgfs} > BUILT_semaphor") } } if (env.CHANGE_ID && system == 'gfs') {