|
From: | Manuel Collado |
Subject: | Re: [bug-gawk] Inconsistent External Command Spawning |
Date: | Sun, 23 Jun 2013 18:27:20 +0200 |
User-agent: | Mozilla/5.0 (Windows NT 5.1; rv:17.0) Gecko/17.0 Thunderbird/17.0 |
El 23/06/2013 18:05, Eli Zaretskii escribió:
Date: Sun, 23 Jun 2013 17:02:43 +0200 From: Manuel Collado <address@hidden> CC: Eli Zaretskii <address@hidden> I've tested the system/pipe behavior with gawk 4.1.0 from ezwinports. There is something weird. system() commands are executed in cmd script mode, while pipe commands are executed as top-level console input ...
I uploaded a fixed binary.
Downloaded and tested. Both system() and pipe commands work now consistently, as in gawk 4.0.1
Thanks! -- Manuel Collado - http://lml.ls.fi.upm.es/~mcollado
[Prev in Thread] | Current Thread | [Next in Thread] |