From d45f66cdb91dd2f27bb1b124f80851d6d4c46cf4 Mon Sep 17 00:00:00 2001 From: andyque Date: Mon, 13 Apr 2015 16:11:09 +0800 Subject: [PATCH] fix the scripts --- tools/jenkins-scripts/pull-request-builder.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/jenkins-scripts/pull-request-builder.py b/tools/jenkins-scripts/pull-request-builder.py index 91f2dc6e92..20d5cd37c8 100755 --- a/tools/jenkins-scripts/pull-request-builder.py +++ b/tools/jenkins-scripts/pull-request-builder.py @@ -7,7 +7,7 @@ if __name__ == '__main__': sys_ret = 0 try: jenkins_script_path = "tools" + os.sep + "jenkins-scripts" + os.sep + "do-pull-request-builder.py" - sys_ret = os.system(jenkins_script_path) + sys_ret = os.system("python " + jenkins_script_path) except: traceback.print_exc() sys_ret = 1