diff options
Diffstat (limited to 'main/jemalloc/jemalloc-no-pprof.patch')
| -rw-r--r-- | main/jemalloc/jemalloc-no-pprof.patch | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/main/jemalloc/jemalloc-no-pprof.patch b/main/jemalloc/jemalloc-no-pprof.patch deleted file mode 100644 index 3415878e67..0000000000 --- a/main/jemalloc/jemalloc-no-pprof.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- 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)) |