>>>>> "Pedro" == Pedro Alves <palves@redhat.com> writes: Pedro> Looks like -Wnon-virtual-dtor was removed from (guessing) -Wall Pedro> at some point. Perhaps it's worth adding it explicitly in configure.ac. (Though I don't know why it was removed from -Wall, so maybe it's not always appropriate, for reasons I don't know.) Tom