Exit Value from Awk

[Gary Mills]

Does anyone know how to set the exit code from awk within an awk
script?  My AT&T and Sun manuals are silent on this.  I want to
be able to do: `awk -f file file || cat file'.
-- 
-Gary Mills-             -University of Manitoba-             -Winnipeg-