diff options
Diffstat (limited to 'tools')
-rw-r--r-- | tools/dune | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -3,7 +3,7 @@ (rule (target git_hash.ml) - (deps git_head.sh) + (deps git_head.sh (universe)) (action (with-stdout-to %{target} |