contrib/gawk-2.15.2/io.c
/* do_nextfile --- implement gawk "next file" extension */
implement gawk "next file" extension
implement gawk " next file " extension
void
do_nextfile()
{
	(void) nextfile(1);
	longjmp(filebuf, 1);
}
void do_nextfile ( ) { ( void ) nextfile ( 1 ) ; longjmp ( filebuf , 1 ) ; }
do_nextfile --- implement gawk "next file" extension
do_nextfile --- implement gawk " next file " extension