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 919ed31..ac61ba3 100755 --- a/gdb/gdbserver/configure +++ b/gdb/gdbserver/configure @@ -7174,7 +7174,8 @@ build_warnings="-Wall -Wpointer-arith \ -Wno-mismatched-tags \ -Wno-error=deprecated-register \ -Wsuggest-override \ --Wimplicit-fallthrough" +-Wimplicit-fallthrough \ +-Wduplicated-cond" case "${host}" in *-*-mingw32*) |