# HG changeset patch
# User wenzelm
# Date 1319036683 -7200
# Node ID 42316b81ef49b5f905fa8201ee08c3be11d3e954
# Parent  f579dab96734daa7cb352da6aed965b967428511
tuned comment;

diff -r f579dab96734 -r 42316b81ef49 src/Pure/System/isabelle_system.ML
--- 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