diff options
Diffstat (limited to 'pkgs/development/ocaml-modules/cfstream/git_commit.patch')
-rw-r--r-- | pkgs/development/ocaml-modules/cfstream/git_commit.patch | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/pkgs/development/ocaml-modules/cfstream/git_commit.patch b/pkgs/development/ocaml-modules/cfstream/git_commit.patch index 5f8d8f5ce31d..596cfdc70927 100644 --- a/pkgs/development/ocaml-modules/cfstream/git_commit.patch +++ b/pkgs/development/ocaml-modules/cfstream/git_commit.patch @@ -1,13 +1,13 @@ -diff --git a/lib/jbuild b/lib/jbuild -index fcc5a39..d72d50c 100644 ---- a/lib/jbuild -+++ b/lib/jbuild -@@ -10,7 +10,7 @@ - (rule ( - (targets (GIT_COMMIT)) - (deps (../bin/git_commit.sh)) -- (action (with-stdout-to ${@} (run ${<}))) -+ (action (with-stdout-to ${@} (run echo "None"))) - )) +diff --git a/lib/dune b/lib/dune +index 2266b87..344c704 100644 +--- a/lib/dune ++++ b/lib/dune +@@ -8,7 +8,7 @@ + (rule + (targets GIT_COMMIT) + (deps (:x ../bin/git_commit.sh)) +- (action (with-stdout-to %{targets} (run %{x}))) ++ (action (with-stdout-to %{targets} (run echo None))) + ) - (rule ( + (rule |