2020-01-30 23:04:54 +01:00
|
|
|
diff --git a/lib/dune b/lib/dune
|
|
|
|
|
index 2266b87..344c704 100644
|
|
|
|
|
--- a/lib/dune
|
|
|
|
|
+++ b/lib/dune
|
|
|
|
|
@@ -8,7 +8,7 @@
|
|
|
|
|
(rule
|
|
|
|
|
(targets GIT_COMMIT)
|
|
|
|
|
(deps (:x ../bin/git_commit.sh))
|
|
|
|
|
- (action (with-stdout-to %{targets} (run %{x})))
|
|
|
|
|
+ (action (with-stdout-to %{targets} (run echo None)))
|
|
|
|
|
)
|
2019-11-25 16:53:35 +01:00
|
|
|
|
2020-01-30 23:04:54 +01:00
|
|
|
(rule
|
