--- a/src/Pure/System/cygwin.scala Sat Sep 25 17:28:41 2010 +0200
+++ b/src/Pure/System/cygwin.scala Sun Sep 26 19:32:45 2010 +0200
@@ -111,7 +111,9 @@
val setup_exe = new File(root, "setup.exe")
- try { Download.file(parent, new URL("http://www.cygwin.com/setup.exe"), setup_exe) }
+ try {
+ Download.file(parent, "Downloading", new URL("http://www.cygwin.com/setup.exe"), setup_exe)
+ }
catch { case _: RuntimeException => error("Failed to download Cygwin setup program") }
val (_, rc) = Standard_System.raw_exec(root, null, true,