static void
intrser (int i)
{
+ NMH_UNUSED (i);
+
discard (stdout);
putchar ('\n');
longjmp (env, DONE);
static void
pipeser (int i)
{
+ NMH_UNUSED (i);
+
done (NOTOK);
}
static void
quitser (int i)
{
+ NMH_UNUSED (i);
+
putchar ('\n');
fflush (stdout);
done (NOTOK);