diff options
Diffstat (limited to 'tools/ci/flags/gcc8.sh')
| -rwxr-xr-x | tools/ci/flags/gcc8.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/ci/flags/gcc8.sh b/tools/ci/flags/gcc8.sh index 65ba7b110..bbd73a608 100755 --- a/tools/ci/flags/gcc8.sh +++ b/tools/ci/flags/gcc8.sh @@ -3,8 +3,8 @@ #export CXXFLAGS="${CXXFLAGS} --all-warnings" #export CXXFLAGS="${CXXFLAGS} --extra-warnings" export CXXFLAGS="${CXXFLAGS} -W" -export CXXFLAGS="${CXXFLAGS} -Wabi" # ignoring +#export CXXFLAGS="${CXXFLAGS} -Wabi" #export CXXFLAGS="${CXXFLAGS} -Wabi-tag" #export CXXFLAGS="${CXXFLAGS} -Wabi=" export CXXFLAGS="${CXXFLAGS} -Waddress" |