diff options
Diffstat (limited to 'main/jemalloc/jemalloc-no-pprof.patch')
| -rw-r--r-- | main/jemalloc/jemalloc-no-pprof.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/main/jemalloc/jemalloc-no-pprof.patch b/main/jemalloc/jemalloc-no-pprof.patch new file mode 100644 index 0000000000..5dbbd9f6a5 --- /dev/null +++ b/main/jemalloc/jemalloc-no-pprof.patch @@ -0,0 +1,11 @@ +--- a/Makefile.in.orig ++++ b/Makefile.in +@@ -319,7 +319,7 @@ done + + install_doc: install_doc_html install_doc_man + +-install: install_bin install_include install_lib install_doc ++install: install_include install_lib install_doc + + tests_unit: $(TESTS_UNIT:$(srcroot)%.c=$(objroot)%$(EXE)) + tests_integration: $(TESTS_INTEGRATION:$(srcroot)%.c=$(objroot)%$(EXE)) |