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

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

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 

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"));
       }