-# Handle GDB 'R' packet. Can be overriden by configuration script
-proc gdb_restart {} {
+# Handle GDB 'R' packet. Can be overriden by configuration script,
+# but it's not something one would expect target scripts to do
+# normally
+proc ocd_gdb_restart {target_num} {
+ # Fix!!! we're resetting all targets here! Really we should reset only
+ # one target
reset halt
}
\ No newline at end of file
break;
case 'R':
/* handle extended restart packet */
- command_run_linef(connection->cmd_ctx, "gdb_restart");
+ command_run_linef(connection->cmd_ctx, "ocd_gdb_restart %d", get_num_by_target(target));
break;
default:
/* ignore unkown packets */