diff options
Diffstat (limited to 'tools/ci/jobs/gcc5.sh')
| -rwxr-xr-x | tools/ci/jobs/gcc5.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/ci/jobs/gcc5.sh b/tools/ci/jobs/gcc5.sh index 0fab3f9d4..edc8f90cf 100755 --- a/tools/ci/jobs/gcc5.sh +++ b/tools/ci/jobs/gcc5.sh @@ -39,7 +39,7 @@ export CXXFLAGS="-ggdb3 -O2 -pipe -ffast-math \ -Wunused-label -Wunused-parameter -Wunused-value -Wunused-variable -ftrapv \ -fsched-pressure \ -Wconditionally-supported -Wdate-time \ --fno-var-tracking \ +-fno-var-tracking -Wno-attributes \ -Wopenmp-simd -Wformat-signedness \ -Wswitch-bool -Wmemset-transposed-args -Wchkp -Wsized-deallocation \ -Wlogical-not-parentheses -Woverloaded-virtual \ |