diff --git a/jenkins-pipeline/Jenkinsfile.001 b/jenkins-pipeline/Jenkinsfile.001 index 9a47167..f7a5c54 100644 --- a/jenkins-pipeline/Jenkinsfile.001 +++ b/jenkins-pipeline/Jenkinsfile.001 @@ -66,7 +66,7 @@ pipeline { stage('Build') { steps { echo "Do build for ${BUILD_TYPE} on ${PLATFORM}" - sh "cd ${THIS_PROJECT} && touch -r * */* */*/* && ./configure && make" + sh "cd ${THIS_PROJECT} && touch -r * */* && ./configure && make" } }