Hi,
It seams that our /bin/ksh is the Korn shell. ksh --version doesn't print
'Korn' somewhere, so I was confused.
Dave Korn has acknowledged that it is a bug in the Korn shell. He fixed it and
it will be available in the next ksh93 release.
--
Er
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
Hi,
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.
--
Erwin Waterlander
From: Erwin Waterlander
Sent: Wed 6/20/2007 16:46
To: bug-
I you want to test this with "bash" you need version 3 to have
support for the -o pipefail option. We don't have bash 3 on our system, only
bash version 2.05.
I tried gnu-make version 3.81
--
Erwin Waterlander
SHELL=/bin/ksh -e -o pipefail
ls :
echo SHELL=${SHELL}
Paul D. Smith wrote:
%% Erwin Waterlander <[EMAIL PROTECTED]> writes:
ew> Then the manual is wrong. My example is exactly like the example
ew> in section 4.6. See:
ew> http://www.gnu.org/software/make/manual/html_chapter/make_4.html#SEC41
Everything in there is true.
ew> No
Paul D. Smith wrote:
%% Erwin Waterlander <[EMAIL PROTECTED]> writes:
ew> I tried a very simple example from the GNU make manual section 4.6
ew> about phony targets. It does not seem to work as described. The
ew> targets are not remade when I run make a second
Hi,
I tried a very simple example from the GNU make manual section 4.6 about
phony targets. It does not seem to work as described. The targets are
not remade when I run make a second time. See attachement.
regards,
--
Erwin Waterlander [EMAIL PROTECTED] Building WDB 160
Philips Research
