diff options
author | Jon Turney <jon.turney@dronecode.org.uk> | 2016-12-06 18:06:26 +0300 |
---|---|---|
committer | Jon Turney <jon.turney@dronecode.org.uk> | 2016-12-06 20:34:47 +0300 |
commit | 4007871174fb9c814103b6a9215f24a700409fa7 (patch) | |
tree | bd76f70ad5ab28ec7ec0112255e81e7b362a7684 /newlib/Makefile.in | |
parent | 72ee64045bc405a4817ffe3dad0d167cc9573512 (diff) |
Fix 'make man' for parallel make
Ensure the Python Lex/Yacc (PLY) cache used by makedocbook is initialized
before it is used by parallelizable rules to make the DocBook XML, as it
appears that these can collide in cache generation, leading to errors.
Signed-off-by: Jon Turney <jon.turney@dronecode.org.uk>
Diffstat (limited to 'newlib/Makefile.in')
-rw-r--r-- | newlib/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/newlib/Makefile.in b/newlib/Makefile.in index c04da3c02..f0296b667 100644 --- a/newlib/Makefile.in +++ b/newlib/Makefile.in @@ -1116,6 +1116,7 @@ doc/makedoc: # Recursive targets for man and install-man man: + (cd doc && $(MAKE) man-cache) || exit 1; \ for d in $(SUBDIRS); do \ if test "$$d" != "."; then \ (cd $$d && $(MAKE) man) || exit 1; \ |