diff options
-rwxr-xr-x | blog/dune | 4 | ||||
-rwxr-xr-x | blog/hash_host/hash_blog.ml (renamed from blog/hash_prod/hash_blog.ml) | 0 | ||||
-rwxr-xr-x | blog/hash_host/hash_localhost.ml (renamed from blog/hash_prod/hash_localhost.ml) | 0 | ||||
-rwxr-xr-x | script.it/dune (renamed from dune) | 0 | ||||
-rwxr-xr-x | script.it/script.ml (renamed from script.ml) | 0 | ||||
-rwxr-xr-x | script.it/state.ml (renamed from state.ml) | 0 |
6 files changed, 2 insertions, 2 deletions
@@ -1,12 +1,12 @@ (rule (targets hash_host.ml) (enabled_if (= %{profile} dev)) - (action (run cp hash_prod/hash_localhost.ml hash_host.ml))) + (action (run cp hash_host/hash_localhost.ml hash_host.ml))) (rule (targets hash_host.ml) (enabled_if (<> %{profile} dev)) - (action (run cp hash_prod/hash_blog.ml hash_host.ml))) + (action (run cp hash_host/hash_blog.ml hash_host.ml))) (library (name blog) diff --git a/blog/hash_prod/hash_blog.ml b/blog/hash_host/hash_blog.ml index f5e172e..f5e172e 100755 --- a/blog/hash_prod/hash_blog.ml +++ b/blog/hash_host/hash_blog.ml diff --git a/blog/hash_prod/hash_localhost.ml b/blog/hash_host/hash_localhost.ml index c652b6a..c652b6a 100755 --- a/blog/hash_prod/hash_localhost.ml +++ b/blog/hash_host/hash_localhost.ml diff --git a/script.ml b/script.it/script.ml index 3e52f5c..3e52f5c 100755 --- a/script.ml +++ b/script.it/script.ml diff --git a/state.ml b/script.it/state.ml index 5a1ef8f..5a1ef8f 100755 --- a/state.ml +++ b/script.it/state.ml |