summaryrefslogtreecommitdiff
path: root/tools/ci/jobs/gcc5_sanitize.sh
diff options
context:
space:
mode:
Diffstat (limited to 'tools/ci/jobs/gcc5_sanitize.sh')
-rwxr-xr-xtools/ci/jobs/gcc5_sanitize.sh1
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/ci/jobs/gcc5_sanitize.sh b/tools/ci/jobs/gcc5_sanitize.sh
index 803b29b87..1946e8cb0 100755
--- a/tools/ci/jobs/gcc5_sanitize.sh
+++ b/tools/ci/jobs/gcc5_sanitize.sh
@@ -53,6 +53,7 @@ export CXXFLAGS="-ggdb3 -O2 -pipe -ffast-math \
-Wcomment -Wmissing-braces -Wnonnull -Wopenmp-simd -Wparentheses \
-Wreturn-type -Wsequence-point -Wswitch"
+do_init
run_configure
run_make
run_check_warnings