Re: [bug-gawk] Inconsistent External Command Spawning

[Manuel Collado]

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