# HG changeset patch
# User wenzelm
# Date 1312966777 -7200
# Node ID 7a44005dc2ec23021e46026c656fc0227b497642
# Parent  476a239d3e0ecf6e4f347572ec119c6726127d96
bash_output_fifo blocks on Cygwin 1.7.x;

diff -r 476a239d3e0e -r 7a44005dc2ec src/Pure/System/isabelle_system.ML
--- a/src/Pure/System/isabelle_system.ML	Tue Aug 09 23:54:17 2011 +0200
+++ b/src/Pure/System/isabelle_system.ML	Wed Aug 10 10:59:37 2011 +0200
@@ -96,7 +96,7 @@
         (_, 0) => f path
       | (out, _) => error (perhaps (try (unsuffix "\n")) out)));
 
-fun bash_output_fifo script f =
+fun bash_output_fifo script f =  (* FIXME blocks on Cygwin 1.7.x *)
   with_tmp_fifo (fn fifo =>
     uninterruptible (fn restore_attributes => fn () =>
       (case Bash.process (script ^ " > " ^ File.shell_path fifo ^ " &") of