K 10 svn:author V 3 bde K 8 svn:date V 27 1995-10-03T12:46:37.000000Z K 7 svn:log V 187 Fix exit status. `cat no-such-file >/dev/null' exited with status 0. This has been broken since cat's own err() function was sloppily replaced by the library functions warn() and err(). END