Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/System/isabelle_system.ML
changeset 44109 7a44005dc2ec
parent 43851 f7f8cf0a1536
child 45199 42316b81ef49 
--- 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
isabelle