/* Copyright 1984 by the Massachusetts Institute of Technology */

/* Just a hack until some real mechanism is found for bughalt. */

extern char *last_bughalt;

bughalt(s)
char	*s;
{
    disable();
    last_bughalt = s;
    printf("\nBUGHALT! %s", s);
    asm("bugw $0");		/* Is a BUGW instruction causing a fault */
				/* Maybe should be a HALT later. */
}