diff options
Diffstat (limited to 'bin')
| -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 a8c64caff505..98509ca43169 100755 --- a/bin/gen-boost-headers +++ b/bin/gen-boost-headers @@ -37,6 +37,7 @@ cat <(cd ${SRCDIR} && git grep -h '^# *include') \ #pragma GCC diagnostic push #pragma GCC diagnostic ignored "-Wunknown-pragmas" /* first! for clang */ #pragma GCC diagnostic ignored "-Wpragmas" /* second! for GCC */ +#pragma GCC diagnostic ignored "-Wunknown-warning-option" // third! for Clang 5 #pragma GCC diagnostic ignored "-Wdeprecated-declarations" #pragma GCC diagnostic ignored "-Wextra" #pragma GCC diagnostic ignored "-Wignored-qualifiers" |