# HG changeset patch
# User kleing
# Date 1151536088 -7200
# Node ID a0e3f2df9b0e7a842bd62b1c66d0f52f27f95f77
# Parent  dc3e007aeaf15ba141f1b6cffc043102526e7c49
use -f in cp to overwrite read-only files (e.g. .svn in document/)

diff -r dc3e007aeaf1 -r a0e3f2df9b0e src/Pure/General/file.ML
--- 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 *)