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 8822ad824c1f..478e9c8f7ee0 100755 --- a/bin/gen-boost-headers +++ b/bin/gen-boost-headers @@ -39,6 +39,7 @@ cat <(cd ${SRCDIR} && git grep -h '^# *include') \ #pragma GCC diagnostic ignored "-Wunknown-warning-option" // second! for Clang 5 #pragma GCC diagnostic ignored "-Wdelete-non-virtual-dtor" #pragma GCC diagnostic ignored "-Wdeprecated-declarations" +#pragma GCC diagnostic ignored "-Wdeprecated-copy" #pragma GCC diagnostic ignored "-Wextra" #pragma GCC diagnostic ignored "-Wignored-qualifiers" #pragma GCC diagnostic ignored "-Wimplicit-fallthrough" |