Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned comment;
authorwenzelm
Wed, 19 Oct 2011 17:04:43 +0200
changeset 45199 42316b81ef49
parent 45198 f579dab96734
child 45206 fe8d0706a8aa
tuned comment;
src/Pure/System/isabelle_system.ML file | annotate | diff | comparison | revisions 
--- 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
isabelle