diff --git a/tools/check_api.py b/tools/check_api.py index 2dac9c82da746923b6dc35413faf1a2394d947d5..7427a21da8cb6d51ca14c961f7ef48240205d927 100755 --- a/tools/check_api.py +++ b/tools/check_api.py @@ -71,7 +71,7 @@ def main(argv=[], prog_name=''): illegal_use = 0 with open(BANNED_LIST) as file: - for l, fname in enumerate(file): + for fname in file: if fname[0] == '#': continue BANNED_API.append(fname.rstrip()) diff --git a/tools/check_tabs.py b/tools/check_tabs.py index 35110c5523ffacba2c18e36efe01f382e79c16ab..2aae02ce6b288d6a9327afe899dca3cd780eb263 100755 --- a/tools/check_tabs.py +++ b/tools/check_tabs.py @@ -80,7 +80,7 @@ def main(argv=[], prog_name=''): # excluded by .git/info/exclude) git_clean_output = subprocess.check_output("git clean -ndX".split()) git_clean_output = git_clean_output.decode() - git_ignores = [l.split()[-1] for l in git_clean_output.splitlines()] + git_ignores = [line.split()[-1] for line in git_clean_output.splitlines()] cwd = os.getcwd() print("Executing from %s" % cwd)