diff options
Diffstat (limited to 'tools/ci/jobs/gcc5_sanitize.sh')
| -rwxr-xr-x | tools/ci/jobs/gcc5_sanitize.sh | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/tools/ci/jobs/gcc5_sanitize.sh b/tools/ci/jobs/gcc5_sanitize.sh index 0d188a3b0..bf2327aab 100755 --- a/tools/ci/jobs/gcc5_sanitize.sh +++ b/tools/ci/jobs/gcc5_sanitize.sh @@ -6,11 +6,6 @@ export LOGFILE=gcc5_sanitize.log source ./tools/ci/scripts/init.sh -aptget_install gcc-5 g++-5 \ - make autoconf automake autopoint gettext libphysfs-dev \ - libxml2-dev libcurl4-gnutls-dev libpng-dev \ - libsdl-gfx1.2-dev libsdl-image1.2-dev libsdl-mixer1.2-dev libsdl-net1.2-dev libsdl-ttf2.0-dev - export CXXFLAGS="-ggdb3 -O2 -pipe -ffast-math \ -fsanitize=address -fsanitize=undefined \ -fsanitize=shift -fsanitize=integer-divide-by-zero -fsanitize=unreachable \ |