8ac5e011d6
GitOrigin-RevId: 2c3273caa153ee8eb5786bc8141b85b859e7efd7
13 lines
291 B
Diff
13 lines
291 B
Diff
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)))
|
|
)
|
|
|
|
(rule
|