* infrun.c (wait_for_inferior): Print "Program exited normally"

	regardless of batch_mode.
	* defs.h, top.c (batch_mode): Removed.

1 files changed, 0 insertions, 7 deletions

diff --git a/gdb/top.c b/gdb/top.c
index 692df82..8e6d56c 100644
--- a/gdb/top.c
+++ b/gdb/top.c
@@ -2234,13 +2234,6 @@ int signo;
   error ("Erroneous arithmetic operation.");
 }
 
-/* Return whether we are running a batch file or from terminal.  */
-int
-batch_mode ()
-{
-  return !(instream == stdin && ISATTY (stdin));
-}
-
 
 static void
 init_cmd_lists ()