1 files changed, 2 insertions, 2 deletions
diff --git a/blog/dune b/blog/dune
index c38558e..648990f 100755
--- a/blog/dune
+++ b/blog/dune
@@ -1,12 +1,12 @@
 (rule
   (targets hash_host.ml)
   (enabled_if (= %{profile} dev))
-  (action (run cp hash_host/hash_localhost.ml hash_host.ml)))
+  (action (copy# hash_host/hash_localhost.ml hash_host.ml)))
 
 (rule
   (targets hash_host.ml)
   (enabled_if (<> %{profile} dev))
-  (action (run cp hash_host/hash_blog.ml hash_host.ml)))
+  (action (copy# hash_host/hash_blog.ml hash_host.ml)))
 
 (library
  (name blog)