--- a/src/Pure/Admin/build_cygwin.scala Wed Jul 15 12:04:48 2020 +0200
+++ b/src/Pure/Admin/build_cygwin.scala Wed Jul 15 12:30:25 2020 +0200
@@ -42,7 +42,7 @@
progress.bash(
File.bash_path(cygwin_exe) + " --site " + Bash.string(mirror) + " --no-verify" +
" --local-package-dir 'C:\\temp'" +
- " --root " + Bash.string(File.platform_path(cygwin)) +
+ " --root " + File.bash_platform_path(cygwin) +
" --packages " + quote((packages ::: more_packages).mkString(",")) +
" --no-shortcuts --no-startmenu --no-desktop --quiet-mode",
echo = true)