Permalink
Browse files

Merge #7402: [devtools] github-merge get toplevel dir without extra w…

…hitespace

5ed2f16 [devtools] github-merge get toplevel dir without extra whitespace (Andrew C)
  • Loading branch information...
laanwj committed Jan 25, 2016
2 parents 0893705 + 5ed2f16 commit 6a5932bf2a4a2e99d35932f021ba2cf87c0fb2c7
Showing with 1 addition and 1 deletion.
  1. +1 −1 contrib/devtools/github-merge.py
@@ -165,7 +165,7 @@ def main():
# Run test command if configured.
if testcmd:
# Go up to the repository's root.
toplevel = subprocess.check_output([GIT,'rev-parse','--show-toplevel'])
toplevel = subprocess.check_output([GIT,'rev-parse','--show-toplevel']).strip()
os.chdir(toplevel)
if subprocess.call(testcmd,shell=True):
print("ERROR: Running %s failed." % testcmd,file=stderr)

0 comments on commit 6a5932b

Please sign in to comment.