[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Useful patch for GNUmake on Windows
From: |
Greg Chicares |
Subject: |
Re: Useful patch for GNUmake on Windows |
Date: |
Wed, 18 Sep 2002 10:42:00 -0400 |
"Paul D. Smith" wrote:
>
> %% Earnie Boyd <address@hidden> writes:
>
> eb> I'm not sure that the Windows port is any different, however, doesn't
> eb> gmake itself have a SHELL variable it honors?
>
> Sure. What I mean is that make doesn't accept the value of the SHELL
> variable from the invoker's environment. It must be set inside the
> makefile.
If that's true under windows, then the manual is broken:
Unlike most variables, the variable SHELL is never set from the environment.
This is because the SHELL environment variable is used to specify your
personal choice of shell program for interactive use. It would be very bad
for personal choices like this to affect the functioning of makefiles. See
section Variables from the Environment. However, on MS-DOS and MS-Windows
the value of SHELL in the environment is used, since on those systems most
users do not set this variable, and therefore it is most likely set
specifically to be used by make.
But since Earnie's providing a *nix-like system under windows,
perhaps it ought to follow the *nix rules and never set SHELL
from the environment.
- Useful patch for GNUmake on Windows, Martin Oberhuber, 2002/09/12
- RE: Useful patch for GNUmake on Windows, Martin Oberhuber, 2002/09/18
- RE: Useful patch for GNUmake on Windows, Paul D. Smith, 2002/09/18
- Re: Useful patch for GNUmake on Windows, Earnie Boyd, 2002/09/18
- Re: Useful patch for GNUmake on Windows, Paul D. Smith, 2002/09/18
- Re: Useful patch for GNUmake on Windows,
Greg Chicares <=
- Re: Useful patch for GNUmake on Windows, Paul D. Smith, 2002/09/18
- Re: Useful patch for GNUmake on Windows, Rob Tulloh, 2002/09/18
- Re: Useful patch for GNUmake on Windows, Eli Zaretskii, 2002/09/19
- Re: Useful patch for GNUmake on Windows, Eli Zaretskii, 2002/09/19
- Re: Useful patch for GNUmake on Windows, Earnie Boyd, 2002/09/19
- Re: Useful patch for GNUmake on Windows, Eli Zaretskii, 2002/09/19
- Re: Useful patch for GNUmake on Windows, Earnie Boyd, 2002/09/19
- Re: Useful patch for GNUmake on Windows, Eli Zaretskii, 2002/09/19
- Re: Useful patch for GNUmake on Windows, Earnie Boyd, 2002/09/19
- Re: Useful patch for GNUmake on Windows, Eli Zaretskii, 2002/09/19