diff options
Diffstat (limited to 'gdb/infcmd.c')
| -rw-r--r-- | gdb/infcmd.c | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/gdb/infcmd.c b/gdb/infcmd.c index 6511d64..df4fd40 100644 --- a/gdb/infcmd.c +++ b/gdb/infcmd.c @@ -497,11 +497,9 @@ Start it from the beginning? "))) } } -/* Prepare for execution command. TARGET is the target that will run - the command. BACKGROUND determines whether this is a foreground - (synchronous) or background (asynchronous) command. */ +/* See inferior.h. */ -static void +void prepare_execution_command (struct target_ops *target, int background) { /* If we get a request for running in the bg but the target |