GNUmakefile: remove dependency on bash3
commitc07ee9fdcc00e5af18993b3cda9d17f91351d09e
authorEric Wong <normalperson@yhbt.net>
Wed, 24 Dec 2008 11:09:50 +0000 (24 03:09 -0800)
committerEric Wong <normalperson@yhbt.net>
Wed, 24 Dec 2008 11:11:23 +0000 (24 03:11 -0800)
tree8b3f7894c6780cce7003c58e869a5a203531766f
parent28aab06e493363b143476d44ec3d39e8403cd28e
GNUmakefile: remove dependency on bash3

-o pipefail was only useful when I was experimenting
with unbuffering output to the terminal.  I've decided
to just forgo terminal spewing in the tests, and the
lone use of cat(1) is highly unlikely to fail..
GNUmakefile