diff options
Diffstat (limited to 'unmaintained/jemalloc/jemalloc-no-pprof.patch')
-rw-r--r-- | unmaintained/jemalloc/jemalloc-no-pprof.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/unmaintained/jemalloc/jemalloc-no-pprof.patch b/unmaintained/jemalloc/jemalloc-no-pprof.patch new file mode 100644 index 0000000000..3415878e67 --- /dev/null +++ b/unmaintained/jemalloc/jemalloc-no-pprof.patch @@ -0,0 +1,11 @@ +--- a/Makefile.in ++++ b/Makefile.in +@@ -467,7 +467,7 @@ + + 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)) $(TESTS_INTEGRATION_CPP:$(srcroot)%.cpp=$(objroot)%$(EXE)) |