From 5ccc2202f7fcddd12078f148ebf4ba9b16730a6a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= Date: Wed, 6 May 2020 08:20:27 +0200 Subject: [PATCH] Travis: Try to fix build misc --- .travis.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.travis.yml b/.travis.yml index 663911f40..70dfdd392 100644 --- a/.travis.yml +++ b/.travis.yml @@ -167,7 +167,7 @@ matrix: # build fuzz client - make -j2 CXXFLAGS="-fsanitize=address" -C oss-fuzz fuzz-client # bug hunting - - touch lib/exprengine.cpp + - make clean - make -s USE_Z3=yes -j2 - python3 test/bug-hunting/cve.py - wget -q https://github.com/Toyota-ITC-SSD/Software-Analysis-Benchmark/archive/v1.1.tar.gz