diff options
Diffstat (limited to 'check')
| -rwxr-xr-x | check | 8 | 
1 files changed, 4 insertions, 4 deletions
| @@ -4,10 +4,10 @@ set -e  if [ $# -lt 1 ]  then -    ./check coverage && \ -    ./check typecheck && \ -    ./check qa -    exit $? +    $0 coverage +    $0 typecheck +    $0 qa +    exit 0  fi  SUBCMD=$1 | 
