diff options
| -rwxr-xr-x | bin/find-headers-to-move-inside-modules.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/find-headers-to-move-inside-modules.py b/bin/find-headers-to-move-inside-modules.py index 5a3713046481..3ca30544a7c9 100755 --- a/bin/find-headers-to-move-inside-modules.py +++ b/bin/find-headers-to-move-inside-modules.py @@ -9,7 +9,7 @@ headerSet = set() a = subprocess.Popen("git ls-files include/", stdout=subprocess.PIPE, shell=True) with a.stdout as txt: for line in txt: - header = line[8:].strip(); + header = line[8:].strip() if b"README" in header: continue if header == b"version.hrc": continue # ignore URE headers |