[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

RE: Problems with gmake and pipefail. make doesn't give up.

From: Paul Smith
Subject: RE: Problems with gmake and pipefail. make doesn't give up.
Date: Wed, 20 Jun 2007 22:42:51 -0400

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
"problem" in that shell; the problem is you're trying to use a
bash-specific extension (pipefail option) in a shell other than bash.

Personally, I would be very unhappy to run across a makefile that was
built to only work with bash and no other shell.  I realize it's messy
to handle errors from early commands in pipelines, but it IS possible to
do in standard sh without using extensions.

Regardless, at least if you set SHELL in the makefile to bash it will be
clear what's required so that's a good thing.


 Paul D. Smith <address@hidden>          Find some GNU make tips at:
 http://www.gnu.org                      http://make.paulandlesley.org
 "Please remain calm...I may be mad, but I am a professional." --Mad Scientist

reply via email to

[Prev in Thread] Current Thread [Next in Thread]