matthieu
/
dune
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Fix call to git describe

This commit is contained in:
Jeremie Dimino 2017-05-07 20:44:58 +01:00 committed by Jeremie Dimino
parent 5ca4320a1a
commit 87df38d1f6
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/watermarks.ml
View File

@ -143,7 +143,7 @@ let subst_git ~package =
in
Future.both
(Future.both
(Future.run_capture Strict git ["describe"; "--always"; "--dirty"; rev])
(Future.run_capture Strict git ["describe"; "--always"; "--dirty"])
(Future.run_capture Strict git ["rev-parse"; rev]))
(Future.run_capture_lines Strict git ["ls-tree"; "-r"; "--name-only"; rev])
>>= fun ((git_describe, git_commit), files) ->