aboutsummaryrefslogtreecommitdiff
path: root/tools/dune
diff options
context:
space:
mode:
Diffstat (limited to 'tools/dune')
-rw-r--r--tools/dune2
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/dune b/tools/dune
index 2e223d4..29ee744 100644
--- a/tools/dune
+++ b/tools/dune
@@ -3,7 +3,7 @@
(rule
(target git_hash.ml)
- (deps git_head.sh)
+ (deps git_head.sh (universe))
(action
(with-stdout-to
%{target}