src/Pure/Admin/build_cygwin.scala
changeset 72036 e48a5b6b7554
parent 71385 06bb82e7af2a
child 72361 178cbf89780e
equal deleted inserted replaced
72035:25d5ef16401a 72036:e48a5b6b7554
    40 
    40 
    41         val res =
    41         val res =
    42           progress.bash(
    42           progress.bash(
    43             File.bash_path(cygwin_exe) + " --site " + Bash.string(mirror) + " --no-verify" +
    43             File.bash_path(cygwin_exe) + " --site " + Bash.string(mirror) + " --no-verify" +
    44               " --local-package-dir 'C:\\temp'" +
    44               " --local-package-dir 'C:\\temp'" +
    45               " --root " + Bash.string(File.platform_path(cygwin)) +
    45               " --root " + File.bash_platform_path(cygwin) +
    46               " --packages " + quote((packages ::: more_packages).mkString(",")) +
    46               " --packages " + quote((packages ::: more_packages).mkString(",")) +
    47               " --no-shortcuts --no-startmenu --no-desktop --quiet-mode",
    47               " --no-shortcuts --no-startmenu --no-desktop --quiet-mode",
    48             echo = true)
    48             echo = true)
    49         if (!res.ok || !cygwin_etc.is_dir) error("Failed")
    49         if (!res.ok || !cygwin_etc.is_dir) error("Failed")
    50 
    50