src/Pure/Admin/component_polyml.scala

--- a/src/Pure/Admin/component_polyml.scala	Fri May 31 22:35:44 2024 +0200
+++ b/src/Pure/Admin/component_polyml.scala	Sat Jun 01 12:31:06 2024 +0200
@@ -77,7 +77,7 @@
           "arch -arch arm64 bash -c " + Bash.string(script)
         }
         else mingw.bash_script(script)
-      progress.bash(script1, cwd = cwd.file, redirect = redirect, echo = echo)
+      progress.bash(script1, cwd = cwd, redirect = redirect, echo = echo)
     }