[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: PDF docs for 2.19.82 broken/missing fonts

From: David Kastrup
Subject: Re: PDF docs for 2.19.82 broken/missing fonts
Date: Wed, 27 Jun 2018 16:15:24 +0200
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux)

Knut Petersen <address@hidden> 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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]