Re: pipefail

Bruno,

We use pipes in configure:
${MAKE} 2>&1 | tee cbcstep2.log
and this breaks "set -e" without "set -o pipefail" which is not
supported by dash (/bin/sh on linux).

How should we handle this?

1. "All platforms we care about have bash or ksh or zsh which support
   pipefail" (is it really true?)
   Detect which one is available and use it.
   The problem is that this is in the top-level configure.

2. Use http://cfajohnson.com/shell/cus-faq-2.html#Q11 .
   I would much prefer if it were in gnulib and we merely sourced it --
   could you please add it there?

Thanks

> * Blake McBride <[email protected]> [2017-12-12 21:55:54 -0600]:
>
> Okay.  Thanks.  I got the following from a clean checkout:
>
> $ sh -vx configure with-gcc
> ...
> + set -o pipefail
> $



-- 
Sam Steingold (http://sds.podval.org/) on darwin Ns 10.3.1504
http://steingoldpsychology.com http://www.childpsy.net http://camera.org
http://iris.org.il http://www.dhimmitude.org http://islamexposedonline.com
Just because you're paranoid doesn't mean they AREN'T after you.

------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
clisp-devel mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/clisp-devel