diff options
Diffstat (limited to 'gdb/gdbserver/configure')
| -rwxr-xr-x | gdb/gdbserver/configure | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gdb/gdbserver/configure b/gdb/gdbserver/configure index 22b4c8a..919ed31 100755 --- a/gdb/gdbserver/configure +++ b/gdb/gdbserver/configure @@ -7173,7 +7173,8 @@ build_warnings="-Wall -Wpointer-arith \ -Wno-sign-compare -Wno-narrowing -Wno-error=maybe-uninitialized \ -Wno-mismatched-tags \ -Wno-error=deprecated-register \ --Wsuggest-override" +-Wsuggest-override \ +-Wimplicit-fallthrough" case "${host}" in *-*-mingw32*) |