Update Makefile

This commit is contained in:
田欧 2019-02-21 18:42:18 +08:00 committed by GitHub
parent 3c6a1a091e
commit d843617a1c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -19,10 +19,10 @@ test:
if grep -q "^--- FAIL" tmp.out; then \
rm tmp.out; \
exit 1; \
elif grep -q "[build failed]" tmp.out; then \
elif grep -q "build failed" tmp.out; then \
rm tmp.out; \
exit 1; \
elif grep -q "[setup failed]" tmp.out; then \
elif grep -q "setup failed" tmp.out; then \
rm tmp.out; \
exit 1; \
fi; \