make -j does not work

[djgroen]

Why is this, and how can we solve it?

[blootsvoets]

Hi Derek,

I don't know the specifics of the problem, but this can happen when the Networked file system is not synchronized fast enough between make threads. We solved it by running
make -j 4; make

So any uncompiled files are compiled afterwards.

Best wishes,

Joris

Op 4 jun. 2014 om 10:02 heeft Derek Groen notifications@github.com het volgende geschreven:

Why is this, and how can we solve it?

—
Reply to this email directly or view it on GitHub.