src/Pure/Tools/main.scala
changeset 53466 19e7d5044617
parent 53465 3a944e1d20be
child 53519 3c977c570e20
equal deleted inserted replaced
53465:3a944e1d20be 53466:19e7d5044617
   149   /** Cygwin init (e.g. after extraction via 7zip) **/
   149   /** Cygwin init (e.g. after extraction via 7zip) **/
   150 
   150 
   151   private def cygwin_init(system_dialog: System_Dialog, isabelle_home: String, cygwin_root: String)
   151   private def cygwin_init(system_dialog: System_Dialog, isabelle_home: String, cygwin_root: String)
   152   {
   152   {
   153     system_dialog.title("Isabelle system initialization")
   153     system_dialog.title("Isabelle system initialization")
   154     system_dialog.echo("Initializing Cygwin:")
   154     system_dialog.echo("Initializing Cygwin ...")
   155 
   155 
   156     def execute(args: String*): Int =
   156     def execute(args: String*): Int =
   157     {
   157     {
   158       val cwd = new JFile(isabelle_home)
   158       val cwd = new JFile(isabelle_home)
   159       val env = Map("CYGWIN" -> "nodosfilewarning")
   159       val env = Map("CYGWIN" -> "nodosfilewarning")