From 6b8d32ea7b5775bdd10a75f72fd3b8a0e8dae93f Mon Sep 17 00:00:00 2001 From: Evgeny Vereshchagin Date: Mon, 30 Mar 2020 06:42:19 +0000 Subject: ci: turn off FuzzBuzz I don't think anyone uses it. --- meson_options.txt | 6 ------ 1 file changed, 6 deletions(-) (limited to 'meson_options.txt') diff --git a/meson_options.txt b/meson_options.txt index 4988d41ff3..d1c752fda2 100644 --- a/meson_options.txt +++ b/meson_options.txt @@ -354,9 +354,3 @@ option('oss-fuzz', type : 'boolean', value : 'false', description : 'build against oss-fuzz') option('llvm-fuzz', type : 'boolean', value : 'false', description : 'build against LLVM libFuzzer') -option('fuzzbuzz', type : 'boolean', value : 'false', - description : 'build against FuzzBuzz') -option('fuzzbuzz-engine', type : 'string', - description : 'the name of the FuzzBuzz fuzzing engine') -option('fuzzbuzz-engine-dir', type : 'string', - description : 'the directory where the FuzzBuzz fuzzing engine is') -- cgit v1.2.1