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

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

Index: cli/cli-script.c
===================================================================
RCS file: /cvs/src/src/gdb/cli/cli-script.c,v
retrieving revision 1.66
diff -u -p -u -p -r1.66 cli-script.c
--- cli/cli-script.c	6 Jan 2011 00:57:02 -0000	1.66
+++ cli/cli-script.c	3 Mar 2011 00:11:55 -0000
@@ -1641,6 +1641,7 @@ script_from_file (FILE *stream, const ch
 	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"));
       }