Searched refs:jsfunfuzz_file (Results 1 – 2 of 2) sorted by relevance
35 jsfunfuzz_file="$v8_root/tools/jsfunfuzz.zip"36 if [ ! -f "$jsfunfuzz_file" ]; then37 echo "Downloading $jsfunfuzz_file ..."38 wget -q -O "$jsfunfuzz_file" $JSFUNFUZZ_URL || exit 141 jsfunfuzz_sum=$(md5sum "$jsfunfuzz_file" | awk '{ print $1 }')49 unzip "$jsfunfuzz_file" -d "$jsfunfuzz_dir" || exit 1
57 jsfunfuzz_file="$v8_root/tools/jsfunfuzz.zip"58 if [ ! -f "$jsfunfuzz_file" ]; then59 echo "Downloading $jsfunfuzz_file ..."60 wget -q -O "$jsfunfuzz_file" $JSFUNFUZZ_URL || exit 163 jsfunfuzz_sum=$(md5sum "$jsfunfuzz_file" | awk '{ print $1 }')71 unzip "$jsfunfuzz_file" -d "$jsfunfuzz_dir" || exit 1