diff options
| author | Evgeny Vereshchagin <evvers@ya.ru> | 2020-03-30 06:42:19 +0000 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2020-03-30 14:57:22 +0200 |
| commit | 6b8d32ea7b5775bdd10a75f72fd3b8a0e8dae93f (patch) | |
| tree | 7369b866b184af1529cb772d512fd245bf5f6c28 /meson_options.txt | |
| parent | c4ae2704b7e921a0b05486a7b201be6770a04ea7 (diff) | |
| download | systemd-6b8d32ea7b5775bdd10a75f72fd3b8a0e8dae93f.tar.gz | |
ci: turn off FuzzBuzz
I don't think anyone uses it.
Diffstat (limited to 'meson_options.txt')
| -rw-r--r-- | meson_options.txt | 6 |
1 files changed, 0 insertions, 6 deletions
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') |