[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [bug-gawk] Gawk 4.0.0 Exec's Weirdly
From: |
Eli Zaretskii |
Subject: |
Re: [bug-gawk] Gawk 4.0.0 Exec's Weirdly |
Date: |
Sun, 02 Oct 2011 06:03:48 +0200 |
> 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.