pull/10336/head
Craig Tiller 8 years ago
parent 50b7fc9b24
commit 409a8da3ed
  1. 5
      tools/profiling/microbenchmarks/bm_diff.py

@ -198,6 +198,5 @@ else:
print text
if args.git_comment:
subprocess.call(['tools/jenkins/comment_on_pr.sh %s' % pipes.quote(text),
stdout=subprocess.PIPE,
shell=True)
subprocess.call(['tools/jenkins/comment_on_pr.sh', text],
stdout=subprocess.PIPE)

Loading…
Cancel
Save