summaryrefslogtreecommitdiff
path: root/dev-ml/reason/files/reason-3.10.0-fake-git-version.patch
blob: f4be44e80e2fc174867f7c033a91479bcf70117e (plain)
1
2
3
4
5
6
7
8
9
10
--- 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\\\"")))))