diff options
-rwxr-xr-x | tools/fuzzer/build_and_run_fuzzer.sh | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/tools/fuzzer/build_and_run_fuzzer.sh b/tools/fuzzer/build_and_run_fuzzer.sh index c58fef2f0f..cd04684014 100755 --- a/tools/fuzzer/build_and_run_fuzzer.sh +++ b/tools/fuzzer/build_and_run_fuzzer.sh @@ -31,6 +31,5 @@ set -ex -du -make CONFIG=$config $1 +make CONFIG=$config $1 Q= bins/$config/$1 |