diff options
Diffstat (limited to 'tools/ci/flags/gccfedora.sh')
| -rwxr-xr-x | tools/ci/flags/gccfedora.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/ci/flags/gccfedora.sh b/tools/ci/flags/gccfedora.sh index 9ac663bc1..84f16423a 100755 --- a/tools/ci/flags/gccfedora.sh +++ b/tools/ci/flags/gccfedora.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" |