You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
11 lines
432 B
11 lines
432 B
--- a/src/refmt/dune
|
|
+++ b/src/refmt/dune
|
|
@@ -10,5 +10,5 @@
|
|
(with-stdout-to
|
|
%{targets}
|
|
(progn
|
|
- (bash "echo let version = \\\"$(git rev-parse --verify HEAD)\\\"")
|
|
- (bash "echo let short_version = \\\"$(git rev-parse --short HEAD)\\\"")))))
|
|
+ (bash "echo let version = \\\"0000000000000000000000000000000000000000\\\"")
|
|
+ (bash "echo let short_version = \\\"0000000000000000000000000000000000000000\\\"")))))
|