Am 27.06.2018 um 15:08 schrieb David Kastrup:
As a reminder (possibly not relevant, but I thought I'd mention it): multi-job make will serialize the output from various jobs so there is the possibility of some things happening in parallel that look like happening after one another.
The "serialize output" feature of make needs to be enabled, and both log files clearly show that this is not the case (output of several parallel jobs of gs and extractpdfmark is mixed). Knut _______________________________________________ bug-lilypond mailing list bug-lilypond@gnu.org https://lists.gnu.org/mailman/listinfo/bug-lilypond
