diff options
Diffstat (limited to 'config.lib')
-rw-r--r-- | config.lib | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/config.lib b/config.lib index 5e3467a23..dc228de8c 100644 --- a/config.lib +++ b/config.lib @@ -1288,6 +1288,9 @@ make_compiler_cflags() { # sure that they will not happen. It furthermore complains # about its own optimized code in some places. flags="$flags -fno-strict-overflow" + # GCC 4.2 no longer includes -Wnon-virtual-dtor in -Wall. + # Enable it in order to be consistent with older GCC versions. + flags="$flags -Wnon-virtual-dtor" fi if [ $cc_version -ge 43 ]; then |