diff options
| author | Stephan Beyer <stephan.beyer@uni-osnabrueck.de> | 2017-03-03 15:27:49 +0100 |
|---|---|---|
| committer | Stephan Beyer <s-beyer@gmx.net> | 2017-03-05 22:12:10 +0100 |
| commit | 87fc170cdfcb2f7f03e8adca1579feb734a81e70 (patch) | |
| tree | ec14df97e1f682a6b2cc80666868405fda338429 /Makefile | |
| parent | 8ce4592e159bc42f7c6136fb5a4627ff2b32efff (diff) | |
Silence g++ 7.0.1 -Wimplicit-fallthrough warnings
This is accomplished by putting a // fallthrough
comment at the right place.
This seems to be more portable than an attribute-based
solution like [[fallthrough]] or __attribute__((fallthrough)).
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions