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
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).

- Raw text -