diff --git a/Jenkinsfile b/Jenkinsfile index cb030e60252e56c0ecfd294708d4c20e0a236124..2ef8293bd438ff436020bb04afe930446df57e9b 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -42,7 +42,7 @@ def pre_test(){ killall -9 gdb || echo "no gdb running" killall -9 python3.8 || echo "no python program running" cd ${WKC} - git reset --hard HEAD~10 >/dev/null + //git reset --hard HEAD~10 >/dev/null ''' script { if (env.CHANGE_TARGET == 'master') { @@ -77,6 +77,7 @@ def pre_test(){ git checkout -qf FETCH_HEAD export TZ=Asia/Harbin date + rm -rf debug mkdir debug cd debug cmake .. > /dev/null