diff options
Diffstat (limited to 'bin/gen-boost-headers')
| -rwxr-xr-x | bin/gen-boost-headers | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/gen-boost-headers b/bin/gen-boost-headers index 478e9c8f7ee0..7397ecad47d1 100755 --- a/bin/gen-boost-headers +++ b/bin/gen-boost-headers @@ -40,6 +40,7 @@ cat <(cd ${SRCDIR} && git grep -h '^# *include') \ #pragma GCC diagnostic ignored "-Wdelete-non-virtual-dtor" #pragma GCC diagnostic ignored "-Wdeprecated-declarations" #pragma GCC diagnostic ignored "-Wdeprecated-copy" +#pragma GCC diagnostic ignored "-Wdeprecated-copy-dtor" #pragma GCC diagnostic ignored "-Wextra" #pragma GCC diagnostic ignored "-Wignored-qualifiers" #pragma GCC diagnostic ignored "-Wimplicit-fallthrough" |