Disable z3 when the version is tool old

This commit is contained in:
Sylvestre Ledru 2019-10-30 23:51:06 +01:00
parent ff4ed1bf44
commit 4b4e60d35a

1
debian/changelog vendored
View File

@ -8,6 +8,7 @@ llvm-toolchain-9 (1:9.0.0-3~exp2) experimental; urgency=medium
* disable-fuzzer-compiler-rt.diff: bring back this patch.
Still breaks i386 compiler-rt/fuzzer
Disable fuzzer only for i386
* Disable z3 when the version is tool old
-- Sylvestre Ledru <sylvestre@debian.org> Wed, 30 Oct 2019 19:09:12 +0100