chore: fix Make script when failed (#1774)

This commit is contained in:
田欧 2019-02-21 20:32:55 +08:00 committed by GitHub
parent a58a2f9bf3
commit e6886e1539
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -21,7 +21,10 @@ test:
exit 1; \ exit 1; \
elif grep -q "build failed" tmp.out; then \ elif grep -q "build failed" tmp.out; then \
rm tmp.out; \ rm tmp.out; \
exit; \ exit 1; \
elif grep -q "setup failed" tmp.out; then \
rm tmp.out; \
exit 1; \
fi; \ fi; \
if [ -f profile.out ]; then \ if [ -f profile.out ]; then \
cat profile.out | grep -v "mode:" >> coverage.out; \ cat profile.out | grep -v "mode:" >> coverage.out; \