diff --git a/scripts/test.sh b/scripts/test.sh index b7c407b6..ffd37f82 100755 --- a/scripts/test.sh +++ b/scripts/test.sh @@ -1,4 +1,7 @@ -#!/bin/sh +#!/bin/sh -e P=`dirname $0` RESOURCES=`$P/resources.sh` -$P/run.sh test.py $RESOURCES --coverage -pvcw "$@" +if [ $# -eq 0 ]; then + coverage="--coverage" +fi +$P/run.sh test.py $RESOURCES $coverage -pvcw "$@"