Browse Source

devtools: Fix a syntax error typo

Fix a typo introduced in #9880 causing the script to not even parse.
pull/1/head
Wladimir J. van der Laan 6 years ago
parent
commit
309bf16257
No known key found for this signature in database
GPG Key ID: 74810B012346C9A6
  1. 2
      contrib/devtools/github-merge.py

2
contrib/devtools/github-merge.py

@ -209,7 +209,7 @@ def main(): @@ -209,7 +209,7 @@ def main():
exit(4)
symlink_files = get_symlink_files()
for f in symlink_files;
for f in symlink_files:
print("ERROR: File %s was a symlink" % f)
if len(symlink_files) > 0:
exit(4)

Loading…
Cancel
Save