2011-03-02 Michael Snyder <msnyder@vmware.com>

	* cli/cli-script.c (script_from_file): Add break for lint.

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 2e5769e311b920c5deda247017846cd7309dc02a..0c61e0cd32cdef5b74ae0b81694b43ad822d883a 100644 (file)
--- 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 5903015be33e9b3b35d34c244cd4147f8ddbc917..459ea5a1455b6818e4b02d15a087257628cb5f73 100644 (file)
--- 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"));
       }