From b2c5f112feaa1cf93f36b77b1d056d5ff06b38c3 Mon Sep 17 00:00:00 2001 From: Michael Snyder Date: Fri, 4 Mar 2011 18:20:43 +0000 Subject: 2011-03-04 Michael Snyder Reverting this patch: * cli/cli-script.c (script_from_file): Add break for lint. --- gdb/cli/cli-script.c | 1 - 1 file changed, 1 deletion(-) (limited to 'gdb/cli/cli-script.c') diff --git a/gdb/cli/cli-script.c b/gdb/cli/cli-script.c index 459ea5a..5903015 100644 --- a/gdb/cli/cli-script.c +++ b/gdb/cli/cli-script.c @@ -1641,7 +1641,6 @@ 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")); } -- cgit v1.1