[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: MinGw port of gawkextlib
From: |
Eli Zaretskii |
Subject: |
Re: MinGw port of gawkextlib |
Date: |
Tue, 17 May 2022 22:07:21 +0300 |
> Date: Tue, 17 May 2022 14:48:59 -0400
> From: "Andrew J. Schorr" <aschorr@telemetry-investments.com>
> Cc: arnold@skeeve.com, mcollado2011@gmail.com, bug-gawk@gnu.org
>
> On Tue, May 17, 2022 at 09:33:10PM +0300, Eli Zaretskii wrote:
> > > I have changed the help string to say:
> > >
> > > --with-gawk-program=PATH
> > > Use gawk program binary in PATH for running the
> > > test
> > > suite, e.g. /usr/bin/gawk
> > >
> > > Is that clear enough?
> >
> > Yes, thanks. I still suggest not to use PATH here, especially since
> > "binary in PATH" could cause someone to thing this is a
> > colon-separated list of directories where the system looks for
> > executables
>
> I gave an example to avoid any doubt. But which word do you prefer to PATH?
> FILENAME?
FILENAME is good. Or you could use PROG.
- Re: MinGw port of gawkextlib, (continued)
- Re: MinGw port of gawkextlib, arnold, 2022/05/17
- Re: MinGw port of gawkextlib, Andrew J. Schorr, 2022/05/17
- Re: MinGw port of gawkextlib, Eli Zaretskii, 2022/05/17
- Re: MinGw port of gawkextlib, Andrew J. Schorr, 2022/05/17
- Re: MinGw port of gawkextlib, Eli Zaretskii, 2022/05/17
- Re: MinGw port of gawkextlib, Andrew J. Schorr, 2022/05/17
- Re: MinGw port of gawkextlib,
Eli Zaretskii <=
- Re: MinGw port of gawkextlib, Andrew J. Schorr, 2022/05/17
- Avoid gawkextlib as a separate shared library (was: MinGw port of gawkextlib), Manuel Collado, 2022/05/17
- Re: Avoid gawkextlib as a separate shared library (was: MinGw port of gawkextlib), Eli Zaretskii, 2022/05/17
- Re: Avoid gawkextlib as a separate shared library, Manuel Collado, 2022/05/18
- Re: Avoid gawkextlib as a separate shared library, Eli Zaretskii, 2022/05/18
- Re: Avoid gawkextlib as a separate shared library, Manuel Collado, 2022/05/19
- Re: Avoid gawkextlib as a separate shared library, Eli Zaretskii, 2022/05/19
- Re: Avoid gawkextlib as a separate shared library (was: MinGw port of gawkextlib), Andrew J. Schorr, 2022/05/17
- Re: Avoid gawkextlib as a separate shared library (was: MinGw port of gawkextlib), arnold, 2022/05/17
- Re: Avoid gawkextlib as a separate shared library (was: MinGw port of gawkextlib), Andrew J. Schorr, 2022/05/17