Subject: Re: make should unset $ENV
To: None <email@example.com>
From: Alan Barrett <firstname.lastname@example.org>
Date: 08/01/2003 10:33:33
On Fri, 01 Aug 2003, Simon J. Gerraty wrote:
> Both our /bin/sh and ksh will use the file pointed to by $ENV as a
> startup script (like csh's .cshrc). It occurs to me that any build
> that relies on $ENV being set and doing something is in serious
I think that sanitising the environment is something that belongs in a
wrapper script, not in make itself.
Sensible shell users do not point $ENV to a file that does anyhting
that would interfere with make, and sensible Makefile writers do not
assume that $ENV will do anything special. If anybody is violating
these conventions, then they will probably be in trouble, but I don't
think it's make's job to protect them.
--apb (Alan Barrett)