diff options
author | Ben Sima <ben@bsima.me> | 2021-08-31 15:30:42 -0400 |
---|---|---|
committer | Ben Sima <ben@bsima.me> | 2021-11-26 13:47:38 -0500 |
commit | c064dcabccc957fc72ae97561dd70de7e939c418 (patch) | |
tree | 026b48b7e37e856674c658fc9df372563de412b7 /Biz/Ide/ship | |
parent | 09882de5f3cbfd62d59b9ec94723a90d67555b7d (diff) |
Small Ide improvements
Diffstat (limited to 'Biz/Ide/ship')
-rwxr-xr-x | Biz/Ide/ship | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Biz/Ide/ship b/Biz/Ide/ship index 9a17d99..dd85908 100755 --- a/Biz/Ide/ship +++ b/Biz/Ide/ship @@ -10,7 +10,7 @@ then # Hero/Prod.nix # disabled bc herocomcis.app domain is broken ) fi -lint \ +lint ${stuff[@]} \ && bild --test ${stuff[@]} \ && for thing in ${stuff[@]} do |