diff options
Diffstat (limited to 'bin/gen-boost-headers')
| -rwxr-xr-x | bin/gen-boost-headers | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/bin/gen-boost-headers b/bin/gen-boost-headers index b96f6106c790..c6d509f96b51 100755 --- a/bin/gen-boost-headers +++ b/bin/gen-boost-headers @@ -35,9 +35,8 @@ cat <(cd ${SRCDIR} && git grep -h '^# *include') \ /* generated by $0, do not edit! */ #pragma once #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 "-Wpragmas" /* first! for GCC */ +#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 "-Wextra" |