On 11-Jun-2002 James Troup wrote: > "Sean 'Shaleh' Perry" <[EMAIL PROTECTED]> writes: > >> as I said, two years ago I found that random awk scripts worked >> better with mawk than gawk, this has likely changed. > > Err, actually you claimed that this (i.e. 'random awk scripts > work[ing] better') is why mawk is the default, but that's complete and > utter rubbish.
indeed, got my history wrong. I *assumed* (and invoked the assume rule) that since we had a choice between mawk and gawk and went with mawk it was due to compatibility issues and not size. failure on my part. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
