|
@@ -18,7 +18,10 @@ test:
|
|
|
cat tmp.out; \
|
|
cat tmp.out; \
|
|
|
if grep -q "^--- FAIL" tmp.out; then \
|
|
if grep -q "^--- FAIL" tmp.out; then \
|
|
|
rm tmp.out; \
|
|
rm tmp.out; \
|
|
|
- exit 1;\
|
|
|
|
|
|
|
+ exit 1; \
|
|
|
|
|
+ elif grep -q "build failed" tmp.out; then \
|
|
|
|
|
+ rm tmp.out; \
|
|
|
|
|
+ exit; \
|
|
|
fi; \
|
|
fi; \
|
|
|
if [ -f profile.out ]; then \
|
|
if [ -f profile.out ]; then \
|
|
|
cat profile.out | grep -v "mode:" >> coverage.out; \
|
|
cat profile.out | grep -v "mode:" >> coverage.out; \
|