/* Activate the debugger */
int
debugger_trap( void )
{
  return ui_debugger_activate();
}
Exemple #2
0
void
menu_machine_debugger( int action )
{
  debugger_mode = DEBUGGER_MODE_HALTED;
  if( paused ) ui_debugger_activate();
}