[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: features/temp_stdin FAILED (was: GNU make 4.3.91 release candidate a
From: |
Dmitry Goncharov |
Subject: |
Re: features/temp_stdin FAILED (was: GNU make 4.3.91 release candidate available) |
Date: |
Wed, 19 Oct 2022 20:41:03 -0400 |
On Wed, Oct 19, 2022 at 4:25 PM Frank Heckenbach
<f.heckenbach@fh-soft.de> wrote:
> Indeed, adding a sleep after kill seems to ensure the message is
> always written to the log file.
Thanks, Frank.
The same fix is also needed in output-sync. I opened
https://savannah.gnu.org/bugs/index.php?63243 and attached a patch.
regards, Dmitry
- GNU make 4.3.91 on GNU/Hurd, (continued)