From: Jason Green <news AT jgreen4 DOT fsnet DOT co DOT uk>
Newsgroups: comp.os.msdos.djgpp
Subject: Re: Possible bug in DJGPP port of GNU make
Date: Tue, 07 Mar 2000 22:44:35 +0000
Organization: Customer of Planet Online
Lines: 18
Message-ID: <vj0bcs8docclkhg52tt4voccuk3dsf7pav@4ax.com>
References: <u0i7cs44dcavhlneand5dlo302gaf67g35 AT 4ax DOT com> <Pine DOT SUN DOT 3 DOT 91 DOT 1000306094249 DOT 9921H-100000 AT is>
NNTP-Posting-Host: modem-12.silicon.dialup.pol.co.uk
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Trace: newsg2.svr.pol.co.uk 952383250 20866 62.136.13.12 (6 Mar 2000 22:54:10 GMT)
NNTP-Posting-Date: 6 Mar 2000 22:54:10 GMT
X-Complaints-To: abuse AT theplanet DOT net
X-Newsreader: Forte Agent 1.7/32.534
To: djgpp AT delorie DOT com
DJ-Gateway: from newsgroup comp.os.msdos.djgpp
Reply-To: djgpp AT delorie DOT com

Eli Zaretskii <eliz AT is DOT elta DOT co DOT il> wrote:

> This is a feature ;-).

> There are lots of Makefiles out there which use this, and we don't
> break them.

Thanks Eli.  Your explanation makes sense.

> Alternatively, force Bash to be the shell used by Make, in which case
> Bash will return to the original directory after running each command
> line.  With the DJGPP port of Make, you need to put the following line
> in you Makefile, to force Make use Bash:
> 
>   SHELL = /bin/sh

Ok, I'll give that a bash.  I knew I would have to get round to
installing it at some point or another.