aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--gdb/ChangeLog2
-rw-r--r--gdb/cli/cli-script.c1
2 files changed, 3 insertions, 0 deletions
diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 2e5769e..0c61e0c 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 5903015..459ea5a 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"));
}