diff --git a/Jenkinsfile2 b/Jenkinsfile2 index 4f64c4f81750b8a0a2f130c0e6570546c1d856a2..79b27dda14b9a5cefc175a2efe96b7ee7e1cd8ee 100644 --- a/Jenkinsfile2 +++ b/Jenkinsfile2 @@ -65,7 +65,6 @@ def pre_test(){ git checkout 3.0 cd ${WKC} git checkout 3.0 - [ -d contrib/bdb ] && cd contrib/bdb && git clean -fxd && cd ../.. ''' } else { sh '''