diff options
author | Michael Snyder <msnyder@specifix.com> | 2011-03-03 00:13:59 +0000 |
---|---|---|
committer | Michael Snyder <msnyder@specifix.com> | 2011-03-03 00:13:59 +0000 |
commit | 232c22877d7bf70641ec15521bddb5ebcc7b6355 (patch) | |
tree | 69416c7ba9c7e20728d2e63a8e11b937a81ce88d | |
parent | 938e179b4dcd4169f1d382484b8d843447c045aa (diff) | |
download | gdb-232c22877d7bf70641ec15521bddb5ebcc7b6355.tar.gz |
2011-03-02 Michael Snyder <msnyder@vmware.com>
* cli/cli-script.c (script_from_file): Add break for lint.
-rw-r--r-- | gdb/ChangeLog | 2 | ||||
-rw-r--r-- | gdb/cli/cli-script.c | 1 |
2 files changed, 3 insertions, 0 deletions
diff --git a/gdb/ChangeLog b/gdb/ChangeLog index 2e5769e311b..0c61e0cd32c 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,5 +1,7 @@ 2011-03-02 Michael Snyder <msnyder@vmware.com> + * cli/cli-script.c (script_from_file): Add break for lint. + * mdebugread.c (parse_partial_symbols): Fix indent. * gdbserver/linux-arm-low.c (arm_arch_setup): Replace malloc diff --git a/gdb/cli/cli-script.c b/gdb/cli/cli-script.c index 5903015be33..459ea5a1455 100644 --- a/gdb/cli/cli-script.c +++ b/gdb/cli/cli-script.c @@ -1641,6 +1641,7 @@ script_from_file (FILE *stream, const char *file) throw_error (e.error, _("%s:%d: Error in sourced command file:\n%s"), source_file_name, source_line_number, e.message); + break; /* lint */ default: internal_error (__FILE__, __LINE__, _("bad reason")); } |