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.
copy_dir: be permissive wrt. errors;
authorwenzelm
Mon, 06 Jun 2005 18:58:34 +0200
changeset 16304 5e845b75f94f
parent 16303 fee0a02f61bb
child 16305 5e7b6731b004
copy_dir: be permissive wrt. errors;
src/Pure/General/file.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/General/file.ML	Mon Jun 06 15:09:47 2005 +0200
+++ b/src/Pure/General/file.ML	Mon Jun 06 18:58:34 2005 +0200
@@ -126,7 +126,7 @@
   in write target (read from) end;
 
 fun copy_dir from to =
-  system_command ("cp -r " ^ shell_path from ^ "/. " ^ shell_path to);
+  (system ("cp -r " ^ shell_path from ^ "/. " ^ shell_path to); ());  (* FIXME system_command *)
 
 
 (* use ML files *)
isabelle