Re: cygwin: need to use the correct 'head.exe'

[Charles Wilson]

Max Bowsher wrote:

> > > DLLTOOL 
> > > are now), since nothing but win32_libid() calls 'head' anyway.
>
> How about using "sed 10q" instead?

But doesn't sed read thru the entire file, even if it only outputs the 
first 10 lines?  (Yeah yeah, I know what it's *supposed* to do with a 
'q' command.  But does it really do that *in practice*?) That's what 
we're using head for: it will exit after reading (and printing) the 
first 10 lines, without looking at the other 100,000.

--Chuck