From f059f7c59f9ac5a2df42505c78ac302c3a019855 Mon Sep 17 00:00:00 2001
From: Taiki Endo <te316e89@gmail.com>
Date: Tue, 31 Oct 2023 22:09:23 +0900
Subject: [PATCH] tools: Update tidy.sh

---
 tools/tidy.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/tidy.sh b/tools/tidy.sh
index 8b6a2aaa..dda6c975 100755
--- a/tools/tidy.sh
+++ b/tools/tidy.sh
@@ -123,7 +123,7 @@ if [[ -n "$(git ls-files '*.rs')" ]]; then
         pkg=$(jq <<<"${metadata}" ".packages[] | select(.id == ${id})")
         publish=$(jq <<<"${pkg}" -r '.publish')
         manifest_path=$(jq <<<"${pkg}" -r '.manifest_path')
-        if ! grep -q '^\[lints\]' "${manifest_path}"; then
+        if ! grep -q '^\[lints\]' "${manifest_path}" && ! grep -q '^\[lints\.rust\]' "${manifest_path}"; then
             warn "no [lints] table in ${manifest_path} please add '[lints]' with 'workspace = true'"
         fi
         # Publishing is unrestricted if null, and forbidden if an empty array.