diff options
| author | Carl Meyer <carl@oddbird.net> | 2023-03-17 11:01:10 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-17 11:01:10 -0600 |
| commit | 174c4bfd0fee4622657a604af7a2e7d20a3f0dbc (patch) | |
| tree | 3a6e707f2c86b617563203217f4991e6d30c1f1e | |
| parent | 65fb7c4055f280caaa970939d16dd947e6df8a8d (diff) | |
| download | cpython-174c4bfd0fee4622657a604af7a2e7d20a3f0dbc.tar.gz cpython-174c4bfd0fee4622657a604af7a2e7d20a3f0dbc.zip | |
gh-102781: fix cwd dependence in cases generator (#102782)
| -rw-r--r-- | Tools/cases_generator/generate_cases.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Tools/cases_generator/generate_cases.py b/Tools/cases_generator/generate_cases.py index f1b655b8b05..a0bba65545d 100644 --- a/Tools/cases_generator/generate_cases.py +++ b/Tools/cases_generator/generate_cases.py @@ -122,8 +122,9 @@ class Formatter: self.prefix = " " * indent self.emit_line_directives = emit_line_directives self.lineno = 1 + filename = os.path.relpath(self.stream.name, ROOT) # Make filename more user-friendly and less platform-specific - filename = self.stream.name.replace("\\", "/") + filename = filename.replace("\\", "/") if filename.startswith("./"): filename = filename[2:] if filename.endswith(".new"): @@ -567,6 +568,7 @@ class Analyzer: with open(filename) as file: src = file.read() + filename = os.path.relpath(filename, ROOT) # Make filename more user-friendly and less platform-specific filename = filename.replace("\\", "/") if filename.startswith("./"): |