Update run-fuzzer.sh

This commit is contained in:
Alexander Kuzmenkov 2020-07-22 01:02:05 +03:00 committed by GitHub
parent 39ead5a405
commit 9956285091
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -160,7 +160,7 @@ case "$stage" in
echo "success" > status.txt
else
echo "failure" > status.txt
if ! grep "received signal \|Logical error" server.log > description.txt
if ! grep -a "received signal \|Logical error" server.log > description.txt
then
echo "Fuzzer exit code $fuzzer_exit_code. See the logs" > description.txt
fi