aboutsummaryrefslogtreecommitdiff
path: root/contrib/devtools
diff options
context:
space:
mode:
authorWladimir J. van der Laan <laanwj@gmail.com>2017-03-07 10:52:27 +0100
committerWladimir J. van der Laan <laanwj@gmail.com>2017-03-07 10:53:04 +0100
commit309bf16257b2395ce502017be627186b749ee749 (patch)
tree20e5271f88cc8afed90f7ab86146e84407f5523c /contrib/devtools
parent00c13ea637d652e0a59eb53309fab915c8da95f9 (diff)
devtools: Fix a syntax error typo
Fix a typo introduced in #9880 causing the script to not even parse.
Diffstat (limited to 'contrib/devtools')
-rwxr-xr-xcontrib/devtools/github-merge.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/devtools/github-merge.py b/contrib/devtools/github-merge.py
index 933bdc2b9d..f1b6a12fd0 100755
--- a/contrib/devtools/github-merge.py
+++ b/contrib/devtools/github-merge.py
@@ -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)