diff options
author | Stan Shebs <shebs@codesourcery.com> | 1999-05-05 14:45:51 +0000 |
---|---|---|
committer | Stan Shebs <shebs@codesourcery.com> | 1999-05-05 14:45:51 +0000 |
commit | b83266a0e1813b7f4891d5d6b0ed6b7302a3fe98 (patch) | |
tree | c59a94fbe917e0839329b872139198c2a7a05ab1 /gdb/main.c | |
parent | e1346c8d0969dad58ddc13c9c741cb0f4e6345a5 (diff) | |
download | gdb-b83266a0e1813b7f4891d5d6b0ed6b7302a3fe98.zip gdb-b83266a0e1813b7f4891d5d6b0ed6b7302a3fe98.tar.gz gdb-b83266a0e1813b7f4891d5d6b0ed6b7302a3fe98.tar.bz2 |
import gdb-19990504 snapshot
Diffstat (limited to 'gdb/main.c')
-rw-r--r-- | gdb/main.c | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -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); } |