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
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