Subject: Re: make should unset $ENV
To: None <>
From: Christos Zoulas <>
List: tech-toolchain
Date: 08/01/2003 19:47:28
In article <200308011927.PAA22355@Sparkle.Rodents.Montreal.QC.CA>,
der Mouse <mouse@Rodents.Montreal.QC.CA> wrote:
>Unsetting ENV *for an OS build* is sensible - but make is not the place
>to do it.

Yes, it is not the responsibility of make to play with the environment.
Doing so may even violate POSIX.