Steffen Jaeckel 8 years ago
parent
commit
52672bc358
1 changed files with 2 additions and 2 deletions
  1. 2 2
      coverage.sh

+ 2 - 2
coverage.sh

@@ -17,8 +17,8 @@ if [ -z "$(echo $CC | grep "gcc")" ]; then
     exit 0
     exit 0
 fi
 fi
 
 
-if [ "$(echo $2 | grep -v 'makefile[.]')" == "" ]; then
-    echo "only run coverage for the regular makefile, early exit success"
+if [ "$(echo $3 | grep -v 'makefile[.]')" == "" ]; then
+    echo "only run $0 for the regular makefile, early exit success"
     exit 0
     exit 0
 fi
 fi