From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <00cc01c375ef$13f0fd60$b9844051@insultant.net>
From: "boyd, rounin" <boyd@insultant.net>
To: <9fans@cse.psu.edu>
References: <345b.3f5a599b.2f936@blake.inputplus.co.uk>
Subject: Re: [9fans] is there any good reason why awk does this?
MIME-Version: 1.0
Content-Type: text/plain;
	charset="Windows-1252"
Content-Transfer-Encoding: 7bit
Date: Mon,  8 Sep 2003 11:53:37 +0200
Topicbox-Message-UUID: 2ee3a4e2-eacc-11e9-9e20-41e7f4b1d025

> Oh dear.  Why not leave awk's `exit' alone so it works as every awk
> script in the world expects and add `exits'?

nope.  it's smashed into a string _anyway_.