diff options
author | Ben Sima <ben@bsima.me> | 2020-07-25 08:53:16 -0700 |
---|---|---|
committer | Ben Sima <ben@bsima.me> | 2020-07-25 08:53:16 -0700 |
commit | f1e204f461b208f1eea4552cb9036c7489dd6548 (patch) | |
tree | dcd4f61bffb25c4f8dc596fc29b3cd0448796162 | |
parent | c2827b0560082f5499c178ead746e7ff9448dd64 (diff) |
ship: fix call to lint
-rwxr-xr-x | ship | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,6 +1,6 @@ #!/usr/bin/env bash set -ex -lint +$BIZ_ROOT/Biz/lint.py stuff=(${1}) if [[ ${#stuff[@]} -eq 0 ]] then |