Subject: Re: make should unset $ENV
To: None <>
From: Alan Barrett <>
List: tech-toolchain
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
> trouble.

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)