diff --git a/Jenkinsfile b/Jenkinsfile index af898cb1d211a8a82e844c52b5cb555f27447305..b91d7804b12ea667f234e9ac9f76f5f292b3c51b 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -39,8 +39,8 @@ def pre_test(){ sudo rmtaos || echo "taosd has not installed" ''' sh ''' - killall -9 taosd - killall -9 gdb + killall -9 taosd ||echo "no taosd running" + killall -9 gdb || echo "no gdb running" cd ${WKC} git checkout develop git reset --hard HEAD~10 >/dev/null