PS: Oh! it might be due to the difference between -j1 and no -j argument.

Yes, that's how I missed it. This flaw isn't exposed with make -j1, but is exposed with just make. Thanks for finding this!

Daniel

Reply via email to