Switch away from using extended-remote

thegecko · thegecko · commit e3994a4f77b6 · 2019-12-20T10:01:26.000Z
diff --git a/src/mi.ts b/src/mi.ts
@@ -37,7 +37,7 @@ export function sendMonitorResetHalt(gdb: GDBBackend) {
 }
 
 export function sendTargetSelectRemote(gdb: GDBBackend, remote: string) {
-    const command = `-target-select extended-remote ${remote}`;
+    const command = `-target-select remote ${remote}`;
     return gdb.sendCommand(command);
 }
 

Original file line number	Diff line number	Diff line change
`@@ -37,7 +37,7 @@ export function sendMonitorResetHalt(gdb: GDBBackend) {`
`37`	`37`	`}`
`38`	`38`
`39`	`39`	`export function sendTargetSelectRemote(gdb: GDBBackend, remote: string) {`
`40`		- const command = `-target-select extended-remote ${remote}`;
	`40`	+ const command = `-target-select remote ${remote}`;
`41`	`41`	`return gdb.sendCommand(command);`
`42`	`42`	`}`
`43`	`43`