33,35d32
< #include <sys/types.h>
< #include <signal.h>
< #include <unistd.h>
39a37
> #include "base/debug.hh"
46,55d43
< void
< debug_break()
< {
< #ifndef NDEBUG
< kill(getpid(), SIGTRAP);
< #else
< cprintf("debug_break suppressed, compiled with NDEBUG\n");
< #endif
< }
<