src/Pure/Tools/dotnet_setup.scala

--- a/src/Pure/Tools/dotnet_setup.scala	Wed Jun 14 17:20:05 2023 +0200
+++ b/src/Pure/Tools/dotnet_setup.scala	Thu Jun 15 14:28:17 2023 +0200
@@ -136,7 +136,7 @@
           progress.bash(script, echo = progress.verbose,
             cwd = if (dry_run) null else component_dir.path.file).check
           for (exe <- File.find_files(platform_dir.file, pred = _.getName.endsWith(".exe"))) {
-            File.set_executable(File.path(exe), true)
+            File.set_executable(File.path(exe))
           }
         }
       }