Re: features/temp_stdin FAILED (was: GNU make 4.3.91 release candidate available)

2022-10-19 Thread Dmitry Goncharov
On Wed, Oct 19, 2022 at 4:25 PM Frank Heckenbach 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. reg

Re: features/temp_stdin FAILED (was: GNU make 4.3.91 release candidate available)

2022-10-19 Thread Frank Heckenbach
Dmitry Goncharov wrote: > On Wed, Oct 19, 2022 at 2:33 AM Frank Heckenbach > wrote: > > features/temp_stdin . FAILED (6/7 > > passed) > > [...] > > % cat tests/work/features/temp_stdin.diff.5 > > *** work/features/temp_stdin.base.5 Wed Oct 19 06:05:22 2022

Re: features/temp_stdin FAILED (was: GNU make 4.3.91 release candidate available)

2022-10-19 Thread Dmitry Goncharov
On Wed, Oct 19, 2022 at 2:33 AM Frank Heckenbach wrote: > features/temp_stdin . FAILED (6/7 passed) > [...] > % cat tests/work/features/temp_stdin.diff.5 > *** work/features/temp_stdin.base.5 Wed Oct 19 06:05:22 2022 > --- work/features/temp_stdin.log.5

features/temp_stdin FAILED (was: GNU make 4.3.91 release candidate available)

2022-10-18 Thread Frank Heckenbach
% uname -a Linux mars 5.10.0-19-amd64 #1 SMP Debian 5.10.149-1 (2022-10-17) x86_64 GNU/Linux % tar xf make-4.3.91.tar.lz % cd make-4.3.91 % ./configure --prefix=/usr % make -j % make check [...] features/temp_stdin . FAILED (6/7 passed) [...] % cat tests/work/fe