#include <stdio.h>
#include <stdarg.h>
#include <setjmp.h>

#include "tsh.h"

ttyputc(c)
{
    putchar(c);
}


#ifndef ttyputs
ttyputs(fmt)
char *fmt;
{
    va_list ptr;

    va_start(ptr, fmt);
    vprintf(fmt, ptr);
    va_end(ptr);
}
#endif

jmp_buf tsh_exception_handler;

softinterrupt(sig)
{
    longjmp(tsh_exception_handler, sig);
}