diff --git a/Jenkinsfile2 b/Jenkinsfile2 index 754617f99f71fa90380e42fa2b9b5f3248620d7c..12e806c87a8ea7e9c446a03d543a8561b3740a55 100644 --- a/Jenkinsfile2 +++ b/Jenkinsfile2 @@ -43,6 +43,7 @@ def pre_test(){ cd ${WKC} git reset --hard git clean -fxd + rm -rf examples/rust/ git remote prune origin git fetch '''