diff options
author | Elena ``of Valhalla'' Grandi <valhalla@trueelena.org> | 2022-03-11 09:58:55 +0100 |
---|---|---|
committer | Elena ``of Valhalla'' Grandi <valhalla@trueelena.org> | 2022-03-11 09:58:55 +0100 |
commit | a866b8ab9d81ebbea0bd43672d944d5cef1caf25 (patch) | |
tree | eca6aca01ac23cf28e13b0a79272494fc4313bca | |
parent | a32831c840aa5ebf8b78caf38db5ba45f8be96c3 (diff) |
check: improve bash syntax
-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 |