From c064dcabccc957fc72ae97561dd70de7e939c418 Mon Sep 17 00:00:00 2001
From: Ben Sima <ben@bsima.me>
Date: Tue, 31 Aug 2021 15:30:42 -0400
Subject: Small Ide improvements

---
 Biz/Ide/ship | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Biz/Ide/ship')

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
-- 
cgit v1.2.3