From b83266a0e1813b7f4891d5d6b0ed6b7302a3fe98 Mon Sep 17 00:00:00 2001
From: Stan Shebs <shebs@codesourcery.com>
Date: Wed, 5 May 1999 14:45:51 +0000
Subject: import gdb-19990504 snapshot

---
 gdb/main.c | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'gdb/main.c')

diff --git a/gdb/main.c b/gdb/main.c
index 1fef7bc..809ef86 100644
--- a/gdb/main.c
+++ b/gdb/main.c
@@ -571,9 +571,14 @@ main (argc, argv)
     {
       if (!SET_TOP_LEVEL ())
 	{
+	  /* NOTE: I am commenting this out, because it is not clear
+	     where this feature is used. It is very old and
+	     undocumented. ezannoni: 5/4/99*/
+#if 0
 	  if (cmdarg[i][0] == '-' && cmdarg[i][1] == '\0')
 	    read_command_file (stdin);
 	  else
+#endif
 	    source_command (cmdarg[i], !batch);
 	  do_cleanups (ALL_CLEANUPS);
 	}
-- 
cgit v1.1