Just sent control@ message to reopen, as this issue remains present.
There is a discussion in make's info pages
http://www.gnu.org/software/make/manual/html_node/Archive-Pitfalls.html
which reads
11.3 Dangers When Using Archives
It is important to be careful when using parallel execution (the -j
switch; see Parallel Execution) and archives. If multiple ar commands
run at the same time on the same archive file, they will not know
about each other and can corrupt the file.
Possibly a future version of make will provide a mechanism to
circumvent this problem by serializing all recipes that operate on the
same archive file. But for the time being, you must either write your
makefiles to avoid this problem in some other way, or not use -j.
A workaround suggested on stackoverflow is to use
AR := flock make-ar-tempfile.lock $(AR)
to serialize ar. Ideally ar itself would have an option to take a lock
on the libXXX.a file it is manipulating, and make would pass that option
by default when running in non-serial mode.
--
Barak A. Pearlmutter <barak@cs.nuim.ie>
Hamilton Institute & Dept Comp Sci, NUI Maynooth, Co. Kildare, Ireland
http://www.bcl.hamilton.ie/~barak/