From 10dd8b5466ad40b91cd6c0b8f7fd1a3df52a06a6 Mon Sep 17 00:00:00 2001 From: Michael Snyder Date: Thu, 3 Mar 2011 00:14:00 +0000 Subject: [PATCH] 2011-03-02 Michael Snyder * cli/cli-script.c (script_from_file): Add break for lint. --- gdb/ChangeLog | 2 ++ gdb/cli/cli-script.c | 1 + 2 files changed, 3 insertions(+) diff --git a/gdb/ChangeLog b/gdb/ChangeLog index 2e5769e311..0c61e0cd32 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,5 +1,7 @@ 2011-03-02 Michael Snyder + * 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 5903015be3..459ea5a145 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")); }