diff options
Diffstat (limited to 'tools/ci/jobs/gccsnapshot.sh')
-rwxr-xr-x | tools/ci/jobs/gccsnapshot.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/ci/jobs/gccsnapshot.sh b/tools/ci/jobs/gccsnapshot.sh index cf7c73665..1204411da 100755 --- a/tools/ci/jobs/gccsnapshot.sh +++ b/tools/ci/jobs/gccsnapshot.sh @@ -322,6 +322,7 @@ export CXXFLAGS="${CXXFLAGS} -Wzero-as-null-pointer-constant" #export CXXFLAGS="${CXXFLAGS} -Wzerotrip" #export CXXFLAGS="${CXXFLAGS} -frequire-return-statement" +do_init run_configure run_make run_check_warnings |