Merge branch 'master' into split-examples

2025-10-22 01:12:16 +08:00 · 2019-02-21 20:34:29 +08:00 · 2019-02-21 20:34:29 +08:00 · 05a2fd4241
commit 05a2fd4241
parent f4d690a65f e6886e1539
1 changed files with 4 additions and 1 deletions
--- a/5
+++ b/5
@ -21,7 +21,10 @@ test:
 			exit 1; \
 		elif grep -q "build failed" tmp.out; then \
 			rm tmp.out; \
-			exit; \
+			exit 1; \
+		elif grep -q "setup failed" tmp.out; then \
+			rm tmp.out; \
+			exit 1; \
 		fi; \
 		if [ -f profile.out ]; then \
 			cat profile.out | grep -v "mode:" >> coverage.out; \