win Waterlander
From: Erwin Waterlander
Sent: Thu 6/21/2007 9:46
To: [EMAIL PROTECTED]
Cc: bug-make@gnu.org; Erwin Waterlander
Subject: RE: Problems with gmake and pipefail. make doesn't give up.
Hi,
/bin/ksh is not a Korn shell on our system. It is AT&T sh (version 1993-12-28
our /bin/ksh. If we add
; exit $$?
at the end of the line in the makefile it works.
--
Erwin Waterlander
From: Paul Smith [mailto:[EMAIL PROTECTED]
Sent: Thu 6/21/2007 4:42
To: Erwin Waterlander
Cc: bug-make@gnu.org
Subject: RE: Problems with gmake and pipefail
On Wed, 2007-06-20 at 17:32 +0200, Erwin Waterlander wrote:
> I compiled bash 3.2 locally. When I set
> SHELL=/home/waterlan/src/bash-3.2/bash -e -o pipefail everything
> works as expected. So the problem must be in the AT&T sh.
As far as I know, ksh doesn't support pipefail. If so, it's not a
make@gnu.org
Subject: Problems with gmake and pipefail. make doesn't give up.
Hi,
I have a problem that gnu make doesn't give up after an error in a command in a
pipe. I have attached a simple example.
I run a command (ls) and the output is piped to command 'tee' to send the
Hi,
I have a problem that gnu make doesn't give up after an error in a command in a
pipe. I have attached a simple example.
I run a command (ls) and the output is piped to command 'tee' to send the
output of 'ls' to a file and stdout. Normally the shell returns the exit code
of the last comm
