# HG changeset patch
# User wenzelm
# Date 1262639954 -3600
# Node ID da6573639ca14ce2346dc172683565bc715437f2
# Parent  2dd2547acb410e9ecc9a2d9605038a81a205680a
added Cygwin "make" package;

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)