summaryrefslogtreecommitdiff
path: root/blog/dune
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2021-01-10 17:05:47 +0100
committerSébastien Dailly <sebastien@chimrod.com>2021-01-11 13:55:42 +0100
commit12e99cb08790b9e67913e4137da4a4dbcb82f362 (patch)
treed8d89742df8bfc34c727007e0633261f2690f0a4 /blog/dune
parent143994822a98df2afe14431f879b90d5e3a7922c (diff)
Update compilation rule
Diffstat (limited to 'blog/dune')
-rwxr-xr-xblog/dune4
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)