Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!auspex!guy
From: guy@auspex.auspex.com (Guy Harris)
Newsgroups: comp.unix.questions
Subject: Re: Exit Value from Awk
Message-ID: <3680@auspex.auspex.com>
Date: 18 Jul 90 18:40:29 GMT
References: <1990Jul17.203037.22283@ccu.umanitoba.ca>
Organization: Auspex Systems, Santa Clara
Lines: 11

>Does anyone know how to set the exit code from awk within an awk
>script?

Set the exit code without exiting, no.  Exit with a particular exit
code, yes:

	$ awk 'END { exit 17 }' </dev/null
	$ echo $?
	17

If this isn't documented, it should be....