Put filename in quotes.

This commit is contained in:
chriseth 2017-05-19 17:58:07 +02:00 committed by GitHub
parent 21ba8eea69
commit 6d1252f807

View File

@ -83,7 +83,7 @@ TMPDIR=$(mktemp -d)
"$REPO_ROOT"/build/test/solfuzzer --quiet < "$f" "$REPO_ROOT"/build/test/solfuzzer --quiet < "$f"
if [ $? -ne 0 ]; then if [ $? -ne 0 ]; then
echo "Fuzzer failed on:" echo "Fuzzer failed on:"
cat $f cat "$f"
exit 1 exit 1
fi fi
set -e set -e