From 4b4e60d35aacbb856673c3f1719e55afbda6cf9d Mon Sep 17 00:00:00 2001 From: Sylvestre Ledru Date: Wed, 30 Oct 2019 23:51:06 +0100 Subject: [PATCH] Disable z3 when the version is tool old --- debian/changelog | 1 + 1 file changed, 1 insertion(+) diff --git a/debian/changelog b/debian/changelog index 9c229c86..e2f8aad7 100644 --- a/debian/changelog +++ b/debian/changelog @@ -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 Wed, 30 Oct 2019 19:09:12 +0100