src/Pure/System/cygwin.scala

--- a/src/Pure/System/cygwin.scala	Sat Feb 13 12:39:00 2016 +0100
+++ b/src/Pure/System/cygwin.scala	Sat Feb 13 16:19:29 2016 +0100
@@ -25,7 +25,7 @@
     {
       val cwd = new JFile(isabelle_root)
       val env = Map("CYGWIN" -> "nodosfilewarning")
-      val proc = Isabelle_System.raw_execute(cwd, env, true, args: _*)
+      val proc = Isabelle_System.process(cwd, env, true, args: _*)
       val (output, rc) = Isabelle_System.process_output(proc)
       if (rc != 0) error(output)
     }