Date: Wed, 28 Aug 1996 17:30:59 +0200 (IST)
From: Eli Zaretskii <eliz AT is DOT elta DOT co DOT il>
To: Robert Hoehne <robert DOT hoehne AT mathematik DOT tu-chemnitz DOT de>
Cc: djgpp-workers AT delorie DOT com
Subject: Re: Port of Make 3.74 to DJGPP
In-Reply-To: <Pine.HPP.3.91.960828104033.21062A-100000@newton.mathematik.tu-chemnitz.de>
Message-Id: <Pine.SUN.3.91.960828172823.14668A-100000@is>
Mime-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII


On Wed, 28 Aug 1996, Robert Hoehne wrote:

> On Tue, 27 Aug 1996, Eli Zaretskii wrote:
> 
> > Does Make on Unix support such a facility?
> 
> Yes.

In that case, I'll add this to my todo list, since it seems like a 
simple job to support this feature (just call the same function that is 
called when $(shell) is used).

> I never tried this. But if it works, this is what I want. I thought, I know
> most of the things, which make can do, but nobody is perfect.

I came to a conclusion long ago that it's next to impossible to know
everything GNU Make can do.