Travis: Try to fix build misc

This commit is contained in:
Daniel Marjamäki 2020-05-06 08:20:27 +02:00
parent e78a13a1e8
commit 5ccc2202f7
1 changed files with 1 additions and 1 deletions

View File

@ -167,7 +167,7 @@ matrix:
# build fuzz client # build fuzz client
- make -j2 CXXFLAGS="-fsanitize=address" -C oss-fuzz fuzz-client - make -j2 CXXFLAGS="-fsanitize=address" -C oss-fuzz fuzz-client
# bug hunting # bug hunting
- touch lib/exprengine.cpp - make clean
- make -s USE_Z3=yes -j2 - make -s USE_Z3=yes -j2
- python3 test/bug-hunting/cve.py - python3 test/bug-hunting/cve.py
- wget -q https://github.com/Toyota-ITC-SSD/Software-Analysis-Benchmark/archive/v1.1.tar.gz - wget -q https://github.com/Toyota-ITC-SSD/Software-Analysis-Benchmark/archive/v1.1.tar.gz