Re: [bug-gawk] system() should return != 0 when the process is killed

[Jarno Suni]

On Thu, 3 Mar 2016 17:58:25 +0100
Tobia Conforto <address@hidden> wrote:

> Hello
> 
> It looks like gawk's system() only returns bits 8 to 15 (or s>>8) of
> the value returned by system(3), discarding any information about the
> termination of the child process by a signal.
> 
> This breaks use cases like this (and probably others):
> 
>     do {
>         ...
>     } while (! system("sleep 10"))
> 

In my experience

  awk '{system("sleep 1")}'

newer exits with any awk I have tried.

-- 
Jarno Ilari Suni - http://www.iki.fi/8/