diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2021-01-10 17:05:47 +0100 |
---|---|---|
committer | Sébastien Dailly <sebastien@chimrod.com> | 2021-01-11 13:55:42 +0100 |
commit | 12e99cb08790b9e67913e4137da4a4dbcb82f362 (patch) | |
tree | d8d89742df8bfc34c727007e0633261f2690f0a4 /blog | |
parent | 143994822a98df2afe14431f879b90d5e3a7922c (diff) |
Update compilation rule
Diffstat (limited to 'blog')
-rwxr-xr-x | blog/dune | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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) |