blob: 0a1fe6d76e175fbf685b9145b2548283f6833f37 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
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
|
