diff options
author | Benjamin Barenblat <benjamin@barenblat.name> | 2018-07-18 17:22:49 -0400 |
---|---|---|
committer | HoĆ V. DINH <dinh.viet.hoa@gmail.com> | 2018-07-18 14:22:49 -0700 |
commit | 91300dbf44bcdfe822a9778d1c9d3cec2c2790d7 (patch) | |
tree | c34b5034c7d21c0304faf463f1405db2ad45aaa7 /scripts/gen-docs.sh | |
parent | 31e308a36108301e2f9cc5c4489bb81ff84e6d3a (diff) |
Eliminate -Wimplicit-fallthrough trigger (#1767)
Insert a no-op `break`, preventing -Wimplicit-fallthrough from
triggering.
Diffstat (limited to 'scripts/gen-docs.sh')
0 files changed, 0 insertions, 0 deletions