Merge pull request #5904 from lmskater/clean-workspace

[Jenkins] Clean workspace after build finish
2014-03-21 14:19:44 +08:00 · 2014-03-21 14:19:44 +08:00 · e879e0399d
parent 6f767cdb39 9598c151ed
commit e879e0399d
1 changed files with 3 additions and 1 deletions
--- a/tools/jenkins-scripts/pull-request-builder.py
+++ b/tools/jenkins-scripts/pull-request-builder.py
@ -189,7 +189,9 @@ def main():
        exit_code = 1
    
    #clean workspace
-    os.system("cd " + os.environ['WORKSPACE']);
+    os.system("cd " + os.environ['WORKSPACE'])
+    os.system("git reset --hard")
+    os.system("git clean -xdf -f")
    os.system("git checkout develop")
    os.system("git branch -D pull" + str(pr_num))