From a02d0ad25edf01a1508df78a4c128ff7a2202644 Mon Sep 17 00:00:00 2001 From: kevans Date: Wed, 7 Mar 2018 18:41:16 +0000 Subject: [PATCH] lua-lint: Whitelist cli_execute_unparsed as a global --- tools/boot/lua-lint.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/tools/boot/lua-lint.sh b/tools/boot/lua-lint.sh index ab0ff3926fd8..3ca214b04965 100755 --- a/tools/boot/lua-lint.sh +++ b/tools/boot/lua-lint.sh @@ -16,4 +16,5 @@ LUACHECK=$(which luacheck) cd $(make -V SRCTOP)/stand ${LUACHECK} . --globals loader --globals lfs --globals io.getchar \ - --globals io.ischar --globals printc --globals cli_execute --std lua53 + --globals io.ischar --globals printc --globals cli_execute \ + --globals cli_execute_unparsed --std lua53