From 12e99cb08790b9e67913e4137da4a4dbcb82f362 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Sun, 10 Jan 2021 17:05:47 +0100 Subject: Update compilation rule --- blog/dune | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'blog/dune') 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) -- cgit v1.2.3