From 6df36deb8bba31bdaf1bc46ba07c02812decbccc Mon Sep 17 00:00:00 2001 From: Kyle Evans Date: Mon, 12 Aug 2024 20:54:27 -0500 Subject: [PATCH] boot: update lua linter for recent module additions For modules we expect to be there, we need to --globals them in to avoid linter errors. Maybe we should switch to a different model for these to clean up our linter exceptions... 'meh'. Reported by: David Cross --- tools/boot/lua-lint.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/boot/lua-lint.sh b/tools/boot/lua-lint.sh index d771be090c6e..60d7c567dab4 100755 --- a/tools/boot/lua-lint.sh +++ b/tools/boot/lua-lint.sh @@ -17,4 +17,4 @@ cd $(make -V SRCTOP)/stand ${LUACHECK} . --globals loader --globals lfs --globals io.getchar \ --globals io.ischar --globals printc --globals cli_execute \ --globals cli_execute_unparsed --globals try_include \ - --globals pager --std lua53 + --globals pager --globals gfx --globals hash --std lua53