| From 1efb45330f5dbe475a092cda6982e6d7e135485a Mon Sep 17 00:00:00 2001 |
| From: Mingli Yu <mingli.yu@windriver.com> |
| Date: Tue, 10 Aug 2021 13:02:18 +0000 |
| Subject: [PATCH] Makefile.in: make sure doc generated before install |
| |
| There is a race between the doc generation and the doc installation, |
| so make the install depend on the build for doc to fix the error occurs |
| sometimes as below: |
| | TOPDIR/tmp-glibc/hosttools/install: cannot stat 'doc/jemalloc.3': No such file or directory |
| | make: *** [Makefile:513: install_doc_man] Error 1 |
| |
| Upstream-Status: Submitted [https://github.com/jemalloc/jemalloc/pull/2108] |
| |
| Signed-off-by: Mingli Yu <mingli.yu@windriver.com> |
| --- |
| Makefile.in | 4 ++-- |
| 1 file changed, 2 insertions(+), 2 deletions(-) |
| |
| diff --git a/Makefile.in b/Makefile.in |
| index 7128b007..ab94f0c8 100644 |
| --- a/Makefile.in |
| +++ b/Makefile.in |
| @@ -501,14 +501,14 @@ install_lib: install_lib_static |
| endif |
| install_lib: install_lib_pc |
| |
| -install_doc_html: |
| +install_doc_html: build_doc_html |
| $(INSTALL) -d $(DATADIR)/doc/jemalloc$(install_suffix) |
| @for d in $(DOCS_HTML); do \ |
| echo "$(INSTALL) -m 644 $$d $(DATADIR)/doc/jemalloc$(install_suffix)"; \ |
| $(INSTALL) -m 644 $$d $(DATADIR)/doc/jemalloc$(install_suffix); \ |
| done |
| |
| -install_doc_man: |
| +install_doc_man: build_doc_man |
| $(INSTALL) -d $(MANDIR)/man3 |
| @for d in $(DOCS_MAN3); do \ |
| echo "$(INSTALL) -m 644 $$d $(MANDIR)/man3"; \ |
| -- |
| 2.29.2 |
| |