import gdb-1999-07-19 snapshot

[thirdparty/binutils-gdb.git] / gdb / infcmd.c

diff --git a/gdb/infcmd.c b/gdb/infcmd.c
index a3807deaa634dd6b662dc3a6bff7f0de415a45c8..297b2a0b9bcf33e0f27a3f54ba4f9f5285109032 100644 (file)
--- a/gdb/infcmd.c
+++ b/gdb/infcmd.c
@@ -244,8 +244,8 @@ run_command (args, from_tty)
 
   if (inferior_pid != 0 && target_has_execution)
     {
-      if (
-          !query ("The program being debugged has been started already.\n\
+      if (from_tty
+         && !query ("The program being debugged has been started already.\n\
 Start it from the beginning? "))
        error ("Program not restarted.");
       target_kill ();