diff options
Diffstat (limited to 'Build')
| -rwxr-xr-x | Build/source/texk/web2c/tests/fix-changefile-lines.py | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/tests/fix-changefile-lines.py b/Build/source/texk/web2c/tests/fix-changefile-lines.py index 7efcdf3146a..0ff5ca6d7d2 100755 --- a/Build/source/texk/web2c/tests/fix-changefile-lines.py +++ b/Build/source/texk/web2c/tests/fix-changefile-lines.py @@ -146,8 +146,9 @@ class ChangeReader: as well as the line number of the first match line in the WEB file. """ while True: - (part, section, line_number), tex_line = web_reader.next_line() - if tex_line is None: + try: + (part, section, line_number), tex_line = web_reader.next_line() + except: eprint("ERROR: Could not find match for line:") eprint(f" {self._match_lines[0]}") sys.exit(1) |