Date: Mon, 9 Sep 1996 17:11:54 +0200 (IST)
From: Eli Zaretskii <eliz AT is DOT elta DOT co DOT il>
To: Morten Welinder <terra AT diku DOT dk>
Cc: djgpp-workers AT delorie DOT com
Subject: Re: Make 3.74 diffs
In-Reply-To: <199609091158.NAA23696@tyr.diku.dk>
Message-Id: <Pine.SUN.3.91.960909165702.8658B-100000@is>
Mime-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII


On Mon, 9 Sep 1996, Morten Welinder wrote:

> What if /bin/sh really exists?  Should we use it then?

If you set SHELL=/bin/sh.exe in the environment or on the Make command 
line, it *will* be used.  I thought that setting a single environment  
variable is simple enough so that it far outweighs the pains of editing 
out the usual "SHELL=/bin/sh" line in Unix Makefiles.

The problem is even less serious than it might seem since (1) most 
commands in a Makefile don't need to call `system' (they don't include 
characters that `spawn' cannot handle), and (2) some DOSified Makefiles 
include commands that only  work with COMMAND.COM, so you should only use 
a Unix-like shell when it's really needed.

However, if the above logic overlooks some important cases, please tell 
me about them.  Thanks.