chore: fix Make script when failed

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