[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: MinGw port of gawkextlib
From: |
Andrew J. Schorr |
Subject: |
Re: MinGw port of gawkextlib |
Date: |
Tue, 17 May 2022 14:48:59 -0400 |
User-agent: |
Mutt/1.5.21 (2010-09-15) |
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?
Regards,
Andy
- Re: MinGw port of gawkextlib, (continued)
- 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, Manuel Collado, 2022/05/18
- Re: MinGw port of gawkextlib, Eli Zaretskii, 2022/05/18
- 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 <=
- Re: MinGw port of gawkextlib, Eli Zaretskii, 2022/05/17
- 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