From a0bb4a39d1ca10e4a75f50a9fbe90cc9db28d29e Mon Sep 17 00:00:00 2001
From: Alex Waygood <Alex.Waygood@Gmail.com>
Date: Tue, 22 Aug 2023 20:49:39 +0100
Subject: [PATCH] Fix spurious diff if the cases generator is run on Windows
 (#108319)

---
 Tools/cases_generator/generate_cases.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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"