diff options
author | Michael Snyder <msnyder@vmware.com> | 2011-03-03 00:14:00 +0000 |
---|---|---|
committer | Michael Snyder <msnyder@vmware.com> | 2011-03-03 00:14:00 +0000 |
commit | 10dd8b5466ad40b91cd6c0b8f7fd1a3df52a06a6 (patch) | |
tree | a826593b68c8e6e504f36ff6954cbe85b595c93f /gdb/cli/cli-script.c | |
parent | e531b607df1f22c2a3b117d41834083c6376bf11 (diff) | |
download | gdb-10dd8b5466ad40b91cd6c0b8f7fd1a3df52a06a6.zip gdb-10dd8b5466ad40b91cd6c0b8f7fd1a3df52a06a6.tar.gz gdb-10dd8b5466ad40b91cd6c0b8f7fd1a3df52a06a6.tar.bz2 |
2011-03-02 Michael Snyder <msnyder@vmware.com>
* cli/cli-script.c (script_from_file): Add break for lint.
Diffstat (limited to 'gdb/cli/cli-script.c')
-rw-r--r-- | gdb/cli/cli-script.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gdb/cli/cli-script.c b/gdb/cli/cli-script.c index 5903015..459ea5a 100644 --- 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")); } |