--- a/src/Pure/System/cygwin.scala Sun Jul 03 19:53:35 2011 +0200
+++ b/src/Pure/System/cygwin.scala Mon Jul 04 13:43:10 2011 +0200
@@ -115,7 +115,7 @@
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") }
+ catch { case ERROR(_) => error("Failed to download Cygwin setup program") }
val (_, rc) = Standard_System.raw_exec(root, null, true,
setup_exe.toString, "-R", root.toString, "-l", download.toString,