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/General/file.ML
changeset 19960 a0e3f2df9b0e
parent 19473 d87a8838afa4
child 21858 05f57309170c 
--- a/src/Pure/General/file.ML	Wed Jun 28 17:54:00 2006 +0200
+++ b/src/Pure/General/file.ML	Thu Jun 29 01:08:08 2006 +0200
@@ -142,7 +142,7 @@
   in write target (read from) end);
 
 fun copy_dir from to = conditional (not (eq (from, to))) (fn () =>
-  (system_command ("cp -r " ^ shell_path from ^ "/. " ^ shell_path to); ()))
+  (system_command ("cp -r -f " ^ shell_path from ^ "/. " ^ shell_path to); ()))
 
 
 (* use ML files *)
isabelle