diff options
author | Stephan Bergmann <sbergman@redhat.com> | 2017-12-19 12:13:45 +0100 |
---|---|---|
committer | Stephan Bergmann <sbergman@redhat.com> | 2017-12-20 08:50:49 +0100 |
commit | 6310429e1afd5018aff9712dfc25ef90488ebfa1 (patch) | |
tree | 577a06b60ca8081a06f33e6503aa76589fa48d58 /bin/gen-boost-headers | |
parent | a784ac2daf55f9e620d7c8da1b880ee539d9218a (diff) |
Remove Clang -Wunknown-pragmas workaround
...that appears to only be necessary for Clang <= 3.4, so no longer needed since
fa7b7f73938e837af2765f8a03f07e404046877b "Document that Clang 3.4.2 is known to
be too old"
Change-Id: I09361f6ffc23b8d20d65d3c84d9003719e2159f8
Reviewed-on: https://gerrit.libreoffice.org/46787
Tested-by: Jenkins <ci@libreoffice.org>
Reviewed-by: Stephan Bergmann <sbergman@redhat.com>
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" |