diff options
Diffstat (limited to 'mongodb-add-version-file.patch')
| -rw-r--r-- | mongodb-add-version-file.patch | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/mongodb-add-version-file.patch b/mongodb-add-version-file.patch new file mode 100644 index 0000000..ffcb70e --- /dev/null +++ b/mongodb-add-version-file.patch @@ -0,0 +1,10 @@ +This patch is used to replace the need for git. It's a work-around +for a problem described here: https://jira.mongodb.org/browse/SERVER-21317 + +Patch by Roel Janssen <roel@gnu.org> +--- a/version.json 1970-01-01 01:00:00.000000000 +0100 ++++ b/version.json 2016-03-16 15:10:23.933578071 +0100 +@@ -0,0 +1,3 @@ ++{ ++ "version": "3.3.3-guix-" ++} |