diff --git a/coverage.sh b/coverage.sh index 6686b44..d582f92 100755 --- a/coverage.sh +++ b/coverage.sh @@ -17,6 +17,11 @@ if [ -z "$(echo $CC | grep "gcc")" ]; then exit 0 fi +if [ "$(echo $2 | grep -v 'makefile[.]')" == "" ]; then + echo "only run coverage for the regular makefile, early exit success" + exit 0 +fi + # output version bash printinfo.sh