@@ -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