From 323630cf5fc14971636e1d053af0815e67bd84fe Mon Sep 17 00:00:00 2001 From: thinkerou Date: Wed, 20 Feb 2019 12:00:08 +0800 Subject: [PATCH] chore: fix Make script when failed --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 7211144a..26387e68 100644 --- a/Makefile +++ b/Makefile @@ -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; \