# HG changeset patch
# User wenzelm
# Date 1667735686 -3600
# Node ID f65bb0ecc7e7bc450c66926ed19aeaad421a6298
# Parent  98cfe33db5a75f878ba7552510287073d1ebac4a
proper executable files for Windows;

diff -r 98cfe33db5a7 -r f65bb0ecc7e7 src/Pure/Tools/dotnet_setup.scala
--- a/src/Pure/Tools/dotnet_setup.scala	Sun Nov 06 12:20:38 2022 +0100
+++ b/src/Pure/Tools/dotnet_setup.scala	Sun Nov 06 12:54:46 2022 +0100
@@ -137,6 +137,9 @@
               " -NoPath"
           progress.bash(script, echo = verbose,
             cwd = if (dry_run) null else component_dir.file).check
+          for (exe <- File.find_files(platform_dir.file, pred = _.getName.endsWith(".exe"))) {
+            File.set_executable(File.path(exe), true)
+          }
         }
       }
     }