aboutsummaryrefslogtreecommitdiff
path: root/gdb/cli
diff options
context:
space:
mode:
authorMichael Snyder <msnyder@vmware.com>2011-03-04 18:20:43 +0000
committerMichael Snyder <msnyder@vmware.com>2011-03-04 18:20:43 +0000
commitb2c5f112feaa1cf93f36b77b1d056d5ff06b38c3 (patch)
tree9fb50f8b91fcbd35228270dff3d0a7b37c75baea /gdb/cli
parente35ea4e0fb3974ee7b337d15f7c2c152b4086ec2 (diff)
downloadgdb-b2c5f112feaa1cf93f36b77b1d056d5ff06b38c3.zip
gdb-b2c5f112feaa1cf93f36b77b1d056d5ff06b38c3.tar.gz
gdb-b2c5f112feaa1cf93f36b77b1d056d5ff06b38c3.tar.bz2
2011-03-04 Michael Snyder <msnyder@vmware.com>
Reverting this patch: * cli/cli-script.c (script_from_file): Add break for lint.
Diffstat (limited to 'gdb/cli')
-rw-r--r--gdb/cli/cli-script.c1
1 files changed, 0 insertions, 1 deletions
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"));
}