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 BAA00485 for ; Fri, 2 Aug 1996 01:06:54 +1000 (EST) Received: (from list@localhost) by euclid.skiles.gatech.edu (8.7.3/8.7.3) id LAA08899; Thu, 1 Aug 1996 11:00:21 -0400 (EDT) Resent-Date: Thu, 1 Aug 1996 11:00:21 -0400 (EDT) From: Zoltan Hidvegi Message-Id: <199608011459.QAA27663@bolyai.cs.elte.hu> Subject: Re: Procmail rejects zsh as being "broken" To: srb@cuci.nl (Stephen R. van den Berg) Date: Thu, 1 Aug 1996 16:59:31 +0200 (MET DST) Cc: zsh-workers@math.gatech.edu (Zsh workers list) In-Reply-To: <199608011444.QAA30597@hera.cuci.nl> from "Stephen R. van den Berg" at "Aug 1, 96 04:44:51 pm" Organization: Dept. of Comp. Sci., Eotvos University, Budapest, Hungary Phone: (36 1)2669833 ext: 2667, home phone: (36 1) 2752368 X-Mailer: ELM [version 2.4ME+ PL16 (25)] MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Resent-Message-ID: <"-zO2z1.0.zA2.4QC0o"@euclid> Resent-From: zsh-workers@math.gatech.edu X-Mailing-List: archive/latest/1877 X-Loop: zsh-workers@math.gatech.edu Precedence: list Resent-Sender: zsh-workers-request@math.gatech.edu > Fair enough. The problem in this case transposes itself to "make" then. > "make" *has* to make that SHELL is set to a Bourne shell compatible > shell. If it leaves it at zsh, it's a bug. 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. Zoltan