Knut Petersen <knut_peter...@t-online.de> writes: > 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).
I thought they were mixed at the line level, but according to Make's documentation they aren't synchronized at all. Due to line buffering at the terminal, they'd come out per-line interspersed anyway but when redirected to a log file, this will likely depend on just when buffers get flushed. -- David Kastrup _______________________________________________ bug-lilypond mailing list bug-lilypond@gnu.org https://lists.gnu.org/mailman/listinfo/bug-lilypond
