Fix spurious diff if the cases generator is run on Windows (#108319)

python · Aug 22, 2023 · a0bb4a3 · a0bb4a3
1 parent fc23f34
commit a0bb4a3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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"