diff options
Diffstat (limited to 'databases/keydb/files/patch-deps_Makefile')
| -rw-r--r-- | databases/keydb/files/patch-deps_Makefile | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/databases/keydb/files/patch-deps_Makefile b/databases/keydb/files/patch-deps_Makefile new file mode 100644 index 000000000000..f5352bbfde00 --- /dev/null +++ b/databases/keydb/files/patch-deps_Makefile @@ -0,0 +1,10 @@ +--- deps/Makefile.orig 2023-10-25 17:16:24 UTC ++++ deps/Makefile +@@ -38,7 +38,6 @@ distclean: + -(cd linenoise && $(MAKE) clean) > /dev/null || true + -(cd lua && $(MAKE) clean) > /dev/null || true + -(cd jemalloc && [ -f Makefile ] && $(MAKE) distclean) > /dev/null || true +- -(cd rocksdb && $(MAKE) clean) > /dev/null || true + -(cd hdr_histogram && $(MAKE) clean) > /dev/null || true + -(rm -f .make-*) + |