diff options
-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 |