From:	mdruiter AT cs DOT vu DOT nl (Ruiter de M)
Newsgroups:	comp.os.msdos.djgpp
Subject:	MAKE with BASH
Date:	25 May 1998 11:42:28 GMT
Organization:	Fac. Wiskunde & Informatica, VU, Amsterdam
Lines:	18
Message-ID:	<6kblf4$24n$1@star.cs.vu.nl>
References:	<Pine DOT SUN DOT 3 DOT 91 DOT 980520122716 DOT 24974P-100000 AT is>
NNTP-Posting-Host:	galjas.cs.vu.nl
To:	djgpp AT delorie DOT com
DJ-Gateway:	from newsgroup comp.os.msdos.djgpp

Eli Zaretskii (eliz AT is DOT elta DOT co DOT il) wrote:
> However, Make doesn't call Bash unless the command uses some shell
> features, like redirection, pipes, quoted arguments, etc.

Now we are at it, can't we force Make to use Bash (if available)? I
hate it when, for instance, configure figures out that
//j/bin/ginstall.exe is my GNU-install and Make fails to run it
(because it doesn't know about the //d/* Bash extension).

I noticed the MAKESHELL-variable somewhere. Just what does it do
_exactly_? I have had some problems with makefiles using Bash that
worked without MAKESHELL but not with it.

-- 
Groeten, Michel.        http://www.cs.vu.nl/~mdruiter
  ____________
  \  /====\  /          "You know, Beavis, you need things that suck,
   \/      \/           to have things that are cool", Butt-Head.

- Raw text -