summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c')
-rwxr-xr-xBuild/source/texk/web2c/tests/fix-changefile-lines.py5
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)