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; \