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

- Raw text -