/* ARGSUSED */
void
pintr(int notused)
{
int save_errno = errno;
pintr1(1);
errno = save_errno;
}
/* ARGSUSED */
void
pintr(int notused)
{
pintr1(1);
/* NOTREACHED */
}
/*
* Catch an interrupt, e.g. during lexical input.
* If we are an interactive shell, we reset the interrupt catch
* immediately. In any case we drain the shell output,
* and finally go through the normal error mechanism, which
* gets a chance to make the shell go away.
*/
void pintr(int sig)
{
pintr1(1);
}