From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from euclid.skiles.gatech.edu (list@euclid.skiles.gatech.edu [130.207.146.50]) by coral.primenet.com.au (8.7.5/8.7.3) with ESMTP id LAA01839 for ; Fri, 2 Aug 1996 11:05:39 +1000 (EST) Received: (from list@localhost) by euclid.skiles.gatech.edu (8.7.3/8.7.3) id UAA17431; Thu, 1 Aug 1996 20:56:03 -0400 (EDT) Resent-Date: Thu, 1 Aug 1996 20:56:03 -0400 (EDT) From: Zefram Message-Id: <19515.199608020054@stone.dcs.warwick.ac.uk> Subject: Re: Procmail rejects zsh as being "broken" To: hzoli@cs.elte.hu (Zoltan Hidvegi) Date: Fri, 2 Aug 1996 01:54:02 +0100 (BST) Cc: srb@cuci.nl, zsh-workers@math.gatech.edu In-Reply-To: <199608011459.QAA27663@bolyai.cs.elte.hu> from "Zoltan Hidvegi" at Aug 1, 96 04:59:31 pm X-Loop: zefram@dcs.warwick.ac.uk X-Stardate: [-31]7900.18 X-US-Congress: Moronic fuckers MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Resent-Message-ID: <"LtdO5.0.HG4.Y8L0o"@euclid> Resent-From: zsh-workers@math.gatech.edu X-Mailing-List: archive/latest/1883 X-Loop: zsh-workers@math.gatech.edu Precedence: list Resent-Sender: zsh-workers-request@math.gatech.edu >For exactly that reason GNU make simply ignores the SHELL environment >variable and sets it to /bin/sh. I do not know how other makes behave but >they should do the same. I always set SHELL to /bin/sh explicitly in Makefiles. GNU standards recommend this too. This is really an example of the now deeply ingrained double usage of SHELL -- to specify the preferred interactive shell and the standard shell. Too many programs confuse the two concepts and end up using $SHELL (zsh in my case) when they really want a Bourne shell (/bin/sh on every Unix system I've ever heard of). -zefram