From 64d17cced4136bb4f72bd1ba23a9b4ca4fc34451 Mon Sep 17 00:00:00 2001
From: "Luke T. Shumaker" <lukeshu@lukeshu.com>
Date: Mon, 10 Feb 2025 10:38:16 -0700
Subject: lib9p: make lint: Check that what is SPECIAL in idl.gen is indicated

---
 GNUmakefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/GNUmakefile b/GNUmakefile
index db7f7fd..4b68f3f 100644
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -103,6 +103,7 @@ lint/python3: lint/%: build-aux/venv
 	./build-aux/venv/bin/mypy --strict --scripts-are-modules $(sources_$*)
 	./build-aux/venv/bin/black --check $(sources_$*)
 	./build-aux/venv/bin/isort --check $(sources_$*)
+	! grep -nh 'SPECIAL$$' -- lib9p/idl.gen
 lint/c: lint/%: build-aux/lint-h build-aux/get-dscname
 	./build-aux/lint-h $(filter %.h,$(sources_$*))
 lint/make lint/cmake lint/gitignore lint/ini lint/9p lint/markdown: lint/%:
-- 
cgit v1.2.3-2-g168b