diff options
Diffstat (limited to 'tools/ci/flags')
| -rwxr-xr-x | tools/ci/flags/gccsnapshot.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/ci/flags/gccsnapshot.sh b/tools/ci/flags/gccsnapshot.sh index 8acc95740..9c1c5d98c 100755 --- a/tools/ci/flags/gccsnapshot.sh +++ b/tools/ci/flags/gccsnapshot.sh @@ -97,6 +97,7 @@ export CXXFLAGS="${CXXFLAGS} -Wenum-compare" export CXXFLAGS="${CXXFLAGS} -Werror-implicit-function-declaration" export CXXFLAGS="${CXXFLAGS} -Wexpansion-to-defined" export CXXFLAGS="${CXXFLAGS} -Wextra" +export CXXFLAGS="${CXXFLAGS} -Wextra-semi" # +++ need fix in future #export CXXFLAGS="${CXXFLAGS} -Wfloat-conversion" # +++ need fix in future |