aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2021-01-02 16:20:42 +0100
committerSébastien Dailly <sebastien@chimrod.com>2021-01-02 16:20:42 +0100
commit20addbe8fd0ac4c79c8a69a4f888ec320a9ca4c3 (patch)
tree2c3f0b13a8037500bb58504aadc13315c301f1f9
parent3d3ac5d05cf2851444b835b5bbc0236111f53673 (diff)
Refactor
-rwxr-xr-xblog/dune4
-rwxr-xr-xblog/hash_host/hash_blog.ml (renamed from blog/hash_prod/hash_blog.ml)0
-rwxr-xr-xblog/hash_host/hash_localhost.ml (renamed from blog/hash_prod/hash_localhost.ml)0
-rwxr-xr-xscript.it/dune (renamed from dune)0
-rwxr-xr-xscript.it/script.ml (renamed from script.ml)0
-rwxr-xr-xscript.it/state.ml (renamed from state.ml)0
6 files changed, 2 insertions, 2 deletions
diff --git a/blog/dune b/blog/dune
index fef8506..c38558e 100755
--- a/blog/dune
+++ b/blog/dune
@@ -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/dune b/script.it/dune
index 1536f2b..1536f2b 100755
--- a/dune
+++ b/script.it/dune
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