The command spkg/pipestatus runs two commands in a pipeline CMD1 | CMD2 and returns the exit status of CMD1 if CMD1 fails but CMD2 is successful (normally, CMD1 | CMD2 would always exit with the status of CMD2). This is useful in Makefile where CMD2 is a "tee" command.
In #10339, there is some disagreement about how spkg/pipestatus "A && B" "C" should behave. Should this behave like (A && B) | C or like A && (B | C)? Currently, the behaviour depends on the bash version. In order to fix this, we have to decide what is "correct". Jeroen. -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
