diff --git a/fuzzing/fuzz/fuzz b/fuzzing/fuzz/fuzz index 7b2bc38252189c5533fc873200563e148862a3cd..fe569abcf8bad6fb9e124d30c2184a316ea935e8 100644 --- a/fuzzing/fuzz/fuzz +++ b/fuzzing/fuzz/fuzz @@ -15,7 +15,7 @@ # Abort on any error # Global configuration -FUZZER_BASE="/data/nativetest64/fuzzers" +FUZZER_BASES=( "/data/nativetest64/fuzzers" "/data/nativetest/fuzzers" ) WORK_BASE="/data/local/tmp/fuzz" LAST_FUZZ="$WORK_BASE/last_session" @@ -150,11 +150,11 @@ if [ -e $1 ]; then FUZZER="$(basename $FUZZER_BIN)" else FUZZER="${1%_fuzzer}" - FUZZER_BIN="${FUZZER_BASE}/${OPT_ENGINE}/${FUZZER}_fuzzer/${FUZZER}_fuzzer" - if [ ! -e "$FUZZER_BIN" ]; then - die "Invalid fuzzer name ${FUZZER}: ($FUZZER_BIN does not exist)" - fi + for FUZZER_BASE in "${FUZZER_BASES[@]}"; do + FUZZER_BIN="${FUZZER_BASE}/${OPT_ENGINE}/${FUZZER}_fuzzer/${FUZZER}_fuzzer" + [ -e "$FUZZER_BIN" ] && break + done fi shift