diff options
author | wl <wl> | 2011-12-26 08:20:53 +0000 |
---|---|---|
committer | wl <wl> | 2011-12-26 08:20:53 +0000 |
commit | 57e13454ff85c56e531fd2f28721ef988cce3d61 (patch) | |
tree | f341bd1fadf9f17cdff40390de1a32b0e5eb0ec0 /font/devpdf | |
parent | d13062cb41b2c2d6fc65459d9ce66f3313b03fce (diff) | |
download | groff-57e13454ff85c56e531fd2f28721ef988cce3d61.tar.gz |
Fix parallel build race failure.
Sometimes building in parallel will fail in the pdfmark directory:
make[2]: Entering directory '.../contrib/pdfmark'
rm -f pdfroff
rm -f pdfmark.pdf
sed -f ... ./pdfroff.sh >pdfroff
...; ./pdfroff ... pdfmark.ms >pdfmark.pdf
/bin/sh: ./pdfroff: Permission denied
chmod +x pdfroff
make[2]: *** [pdfmark.pdf] Error 126
This is because the generated pdf files use the local generated
pdfroff helper script, but they don't depend directly upon it, so
make tries to create the two in parallel and randomly falls over.
* Makefile.sub: Have all the .pdf files explicitly depend on the
`pdfroff' helper script.
Diffstat (limited to 'font/devpdf')
0 files changed, 0 insertions, 0 deletions