ci: exit 1 when build fail

2025-10-22 09:34:33 +08:00 · 2018-12-12 22:11:25 +08:00 · 2018-12-12 22:11:25 +08:00 · c0517c4fb5
commit c0517c4fb5
parent cce49582d6
1 changed files with 4 additions and 1 deletions
--- a/5
+++ b/5
@ -18,7 +18,10 @@ test:
 		cat tmp.out; \
 		if grep -q "^--- FAIL" tmp.out; then \
 			rm tmp.out; \
-			exit 1;\
+			exit 1; \
+		elif grep -q "build fail" tmp.out; then \
+			rm tmp.out; \
+			exit; \
 		fi; \
 		if [ -f profile.out ]; then \
 			cat profile.out | grep -v "mode:" >> coverage.out; \