Merge remote-tracking branch 'upstream/stable' into merge_stable

dlang · Jan 1, 2024 · 7b0b3c8 · 7b0b3c8
2 parents 60b1b33 + efe3deb
commit 7b0b3c8
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/create_dmd_release/create_dmd_release.d b/create_dmd_release/create_dmd_release.d
@@ -292,14 +292,20 @@ void cleanAll(string branch)
     changeDir(cloneDir~"/dmd");
     run("git clean -f -x -d"); // remove all untracked/ignored files
     run("git checkout ."); // undo local changes, e.g. VERSION
+    version (Windows)
+        run("git config core.fileMode false"); // ignore executable bit of files
 
     info("Cleaning Phobos");
     changeDir(cloneDir~"/phobos");
     run("git clean -f -x -d");
+    version (Windows)
+        run("git config core.fileMode false");
 
     info("Cleaning Tools");
     changeDir(cloneDir~"/tools");
     run("git clean -f -x -d");
+    version (Windows)
+        run("git config core.fileMode false");
 }
 
 void buildAll(string branch)