Bullseye and Electric Make

I have tried to run Bullseye with Electric Make, but running into problems.

The first time the whole build was completely serialized, because every compilation and every unit test run, modifies the same file (Bullseye coverage one).

Then I tried to put the coverage file on NFS share, which all agent hosts can see, but it seems that different hosts are seeing different versions of the file.

I asked Bullseye support and they suggest that from their point of view it should work. They use some sort of locking to control access to the file, so multiple processes can update the file.

Should it work from Electric Make point of view?

The coverage file itself is on NFS share outside of EMAKE_ROOT, so I would have expected Electric Make will not interfere with file content or locking of the file.

We are on version 9 of Electric Make.