diff options
| -rwxr-xr-x | tools/fuzzer/build_and_run_fuzzer.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/fuzzer/build_and_run_fuzzer.sh b/tools/fuzzer/build_and_run_fuzzer.sh index 044de71aac..6b63ef02ca 100755 --- a/tools/fuzzer/build_and_run_fuzzer.sh +++ b/tools/fuzzer/build_and_run_fuzzer.sh @@ -33,6 +33,6 @@ set -ex git submodule update --init find . | sort -make run_dep_checks +make CONFIG=$config run_dep_checks make CONFIG=$config $1 bins/$config/$1 |