diff --git a/ci/dev/fmt.sh b/ci/dev/fmt.sh
index d4c28a71..a2bf8032 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:"