--- 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))
}