Date: Tue, 23 Feb 1999 18:44:07 +0200 (IST)
From: Eli Zaretskii <eliz AT is DOT elta DOT co DOT il>
X-Sender: eliz AT is
To: "Salvador Eduardo Tropea (SET)" <salvador AT inti DOT gov DOT ar>
cc: djgpp-workers AT delorie DOT com
Subject: Re: Bug in make?
In-Reply-To: <m10FK6f-000S6UC@inti.gov.ar>
Message-ID: <Pine.SUN.3.91.990223183929.13729G-100000@is>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Reply-To: djgpp-workers AT delorie DOT com


On Tue, 23 Feb 1999, Salvador Eduardo Tropea (SET) wrote:

> But if I call make from the command line it process argv[0] anyways!! 
> From my point of view if something breaks is already broken, at least fix 
> something that can be fixed.

I agree that the problem you reported should be fixed if possible, I just
prefer to avoid breaking something else.  Any bug that lives for long
enough time becomes a feature that somebody might depend on.  If I can 
fix the original problem without potentially creating new ones, I'd 
prefer it that way.

> $(MAKE) should be the same no matters if I call make from the command line or 
> if I spawn make (from make or other program).

I disagree.  It certainly is not true on Unix (where different shells 
might pass argv[0] in different formats).