--- a/src/Pure/System/isabelle_system.ML Wed Oct 19 17:03:07 2011 +0200
+++ b/src/Pure/System/isabelle_system.ML Wed Oct 19 17:04:43 2011 +0200
@@ -96,7 +96,9 @@
(_, 0) => f path
| (out, _) => error (perhaps (try (unsuffix "\n")) out)));
-fun bash_output_fifo script f = (* FIXME blocks on Cygwin 1.7.x *)
+(* FIXME blocks on Cygwin 1.7.x *)
+(* See also http://cygwin.com/ml/cygwin/2010-08/msg00459.html *)
+fun bash_output_fifo script f =
with_tmp_fifo (fn fifo =>
uninterruptible (fn restore_attributes => fn () =>
(case Bash.process (script ^ " > " ^ File.shell_path fifo ^ " &") of