| 1300 | } |
| 1301 | |
| 1302 | static void debug_parent_continue( int argc, const char * * argv ) |
| 1303 | { |
| 1304 | if ( argc > 1 ) |
| 1305 | { |
| 1306 | debug_error( "Too many arguments to continue." ); |
| 1307 | return; |
| 1308 | } |
| 1309 | if ( debug_interface == DEBUG_INTERFACE_MI ) |
| 1310 | { |
| 1311 | debug_mi_format_token(); |
| 1312 | printf( "^running\n(gdb) \n" ); |
| 1313 | fflush( stdout ); |
| 1314 | } |
| 1315 | debug_parent_forward( 1, argv, 1, 1 ); |
| 1316 | } |
| 1317 | |
| 1318 | static void debug_parent_kill( int argc, const char * * argv ) |
| 1319 | { |
nothing calls this directly
no test coverage detected