aboutsummaryrefslogtreecommitdiff
path: root/lib/tools/dune
blob: 29ee7442e42a61df7ec43e7d5c61ab092826e423 (plain)
1
2
3
4
5
6
7
8
9
10
(library
 (name tools))

(rule
 (target git_hash.ml)
 (deps git_head.sh (universe))
 (action
  (with-stdout-to
   %{target}
   (bash "./git_head.sh"))))