From 74d6d5e1e104385c9d6bf8399a32bbf6f3a19c56 Mon Sep 17 00:00:00 2001
From: Joe Previte <jjprevite@gmail.com>
Date: Thu, 17 Dec 2020 10:00:32 -0700
Subject: [PATCH] fix: remove unnecessary grep line in fmt script

---
 ci/dev/fmt.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci/dev/fmt.sh b/ci/dev/fmt.sh
index d4c28a71e..a2bf80328 100755
--- a/ci/dev/fmt.sh
+++ b/ci/dev/fmt.sh
@@ -30,7 +30,7 @@ main() {
   doctoc --title '# Contributing' doc/CONTRIBUTING.md > /dev/null
   doctoc --title '# iPad' doc/ipad.md > /dev/null
 
-  if [[ ${CI-} && $(git ls-files --other --modified --exclude-standard | grep -v "lib/vscode") ]]; then
+  if [[ ${CI-} && $(git ls-files --other --modified --exclude-standard) ]]; then
     echo "Files need generation or are formatted incorrectly:"
     git -c color.ui=always status | grep --color=no '\[31m'
     echo "Please run the following locally:"