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 /check | |
| parent | a32831c840aa5ebf8b78caf38db5ba45f8be96c3 (diff) | |
check: improve bash syntax
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 | 
