diff options
Diffstat (limited to 'fuzz/README.md')
| -rw-r--r-- | fuzz/README.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/fuzz/README.md b/fuzz/README.md index e8596a7b68..138af0d5d0 100644 --- a/fuzz/README.md +++ b/fuzz/README.md @@ -38,7 +38,7 @@ Configure for fuzzing: $ CC=clang ./config enable-fuzz-libfuzzer \ --with-fuzzer-include=../../svn-work/Fuzzer \ --with-fuzzer-lib=../../svn-work/Fuzzer/libFuzzer \ - enable-asan enable-ubsan no-shared + -DPEDANTIC enable-asan enable-ubsan no-shared $ sudo apt-get install make $ LDCMD=clang++ make -j $ fuzz/helper.py $FUZZER |