Re: [bug-gawk] Gawk 4.0.0 Exec's Weirdly

[Eli Zaretskii]

> Date: Sat, 1 Oct 2011 18:40:05 -0700 (PDT)
> From: David Millis <address@hidden>
> 
> I think you meant
>   @echo off
>   "WHATEVER" "1" "2" "3"
> without the leading CMD, which would exec as written.

Yes, my bad.

In addition, if SHELL is set, the batch file is run with

  %SHELL% -c|/c BATCH

with -c|/c set according to whether SHELL is a Unixy shell or not.