github-mirror/fish-shell
github-mirror/fish-shell
2
0
Fork 0
mirror of https://github.com/fish-shell/fish-shell.git synced 2025-02-21 08:21:56 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity

tell static code analysis we know what we're doing

Browse Source
This commit is contained in:
Kurtis Rader 2016-08-16 21:56:18 -07:00
parent 9b5625a66b
commit df10ffab9c
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/builtin.cpp
View File

@ -3020,8 +3020,8 @@ static int builtin_history(parser_t &parser, io_streams_t &streams, wchar_t **ar
history->save();
break;
}
default: {
DIE("Unhandled history command");
case HIST_NOOP: {
DIE("Unexpected HIST_NOOP seen");
break;
}
}