Update Makefile

This commit is contained in:
田欧 2019-02-21 17:37:43 +08:00 committed by GitHub
parent 323630cf5f
commit 2c9263b3a9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -19,7 +19,11 @@ 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; \
fi; \
elif grep -q "[setup failed]" tmp.out; then \
rm tmp.out; \
exit 1; \
fi; \