diff -r d389577a6fba -r db92e0b6a11a src/Pure/Tools/dotnet_setup.scala
--- a/src/Pure/Tools/dotnet_setup.scala	Fri May 31 22:35:44 2024 +0200
+++ b/src/Pure/Tools/dotnet_setup.scala	Sat Jun 01 12:31:06 2024 +0200
@@ -118,7 +118,7 @@
               (if (dry_run) " -DryRun" else "") +
               " -NoPath"
           progress.bash(script, echo = progress.verbose,
-            cwd = if (dry_run) null else component_dir.path.file).check
+            cwd = if (dry_run) Path.current else component_dir.path).check
           for (exe <- File.find_files(platform_dir.file, pred = _.getName.endsWith(".exe"))) {
             File.set_executable(File.path(exe))
           }