diff -r 2dd2547acb41 -r da6573639ca1 src/Pure/System/cygwin.scala --- a/src/Pure/System/cygwin.scala Mon Jan 04 22:16:48 2010 +0100 +++ b/src/Pure/System/cygwin.scala Mon Jan 04 22:19:14 2010 +0100 @@ -117,7 +117,7 @@ val (_, rc) = Standard_System.process_output( Standard_System.raw_execute(root, null, true, setup_exe.toString, "-R", root.toString, "-l", download.toString, - "-P", "perl,python", "-q", "-n")) + "-P", "make,perl,python", "-q", "-n")) if (rc != 0) error("Cygwin setup failed!") sanity_check(root)