diff --git a/Tools/cases_generator/generate_cases.py b/Tools/cases_generator/generate_cases.py index 6ee68363058116..f605dcc5e4632f 100644 --- a/Tools/cases_generator/generate_cases.py +++ b/Tools/cases_generator/generate_cases.py @@ -237,7 +237,7 @@ def from_source_files(self) -> str: except ValueError: # May happen on Windows if root and temp on different volumes pass - filenames.append(filename) + filenames.append(filename.replace(os.path.sep, posixpath.sep)) paths = f"\n{self.out.comment} ".join(filenames) return f"{self.out.comment} from:\n{self.out.comment} {paths}\n"