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

AlexWaygood · web-flow · commit a0bb4a39d1ca · 2023-08-22T20:49:39.000+01:00
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"
 
