diff options
| author | Christopher Baines <mail@cbaines.net> | 2017-10-08 14:42:07 +0100 |
|---|---|---|
| committer | Christopher Baines <mail@cbaines.net> | 2017-10-08 15:11:04 +0100 |
| commit | 6626c54ddf62648a2eb89640ab09ecc928450116 (patch) | |
| tree | 1c2a6141c0450e4488e7a190997c7d7851c1a968 | |
| parent | 834dc83069d4d97ff929fbcb0a3dd5f0954823df (diff) | |
gnu: Add missing mongodb patch to local.mk.
* gnu/local.mk (dist_patch_DATA): Add the
mongodb-support-unknown-linux-distributions.patch.
| -rw-r--r-- | gnu/local.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/local.mk b/gnu/local.mk index e10d7ec2fb..b71b36024e 100644 --- a/gnu/local.mk +++ b/gnu/local.mk @@ -866,6 +866,7 @@ dist_patch_DATA = \ %D%/packages/patches/mingw-w64-5.0rc2-gcc-4.9.3.patch \ %D%/packages/patches/mpc123-initialize-ao.patch \ %D%/packages/patches/module-init-tools-moduledir.patch \ + %D%/packages/patches/mongodb-support-unknown-linux-distributions.patch \ %D%/packages/patches/mozjs17-aarch64-support.patch \ %D%/packages/patches/mozjs24-aarch64-support.patch \ %D%/packages/patches/mozjs38-pkg-config-version.patch \ |