(off-list ancestor, not in this archive)
Re: [PATCH] Remove useless uses of cat, and replace with filename arguments or redirection · Michael Poole <hidden> · 2016-06-15
Re: [PATCH] Remove useless uses of cat, and replace with filename arguments or redirection · Martin Langhoff <hidden> · 2016-06-15
Re: [PATCH] Remove useless uses of cat, and replace with filename arguments or redirection · Stephen Rothwell <hidden> · 2016-06-15
Re: [PATCH] Remove useless uses of cat, and replace with filename arguments or redirection · Martin Langhoff <hidden> · 2016-06-15

Re: [PATCH] Remove useless uses of cat, and replace with filename arguments or redirection

From: Stephen Rothwell <hidden>
Date: 2016-06-15 22:43:14

On Wed, 6 Jun 2007 15:58:09 +1200 "Martin Langhoff" [off-list ref] wrote:

Josh is right. The output *is* different because it contains the

  ^^^^
My name is Stephen  :-) and that is indeed what I meant.

Cheers,
Stephen Rothwell

Attachments

(unnamed) [application/pgp-signature] 189 bytes