From a72807364f876596d9613032952bb3cf45e78774 Mon Sep 17 00:00:00 2001
From: Andreas Kloeckner <inform@tiker.net>
Date: Tue, 25 Jun 2024 11:52:02 -0500
Subject: [PATCH] Tweak mypy runner for internal mypy error

Context: https://github.com/python/mypy/issues/17396
---
 run-mypy.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/run-mypy.sh b/run-mypy.sh
index 715f971..ae0edc9 100755
--- a/run-mypy.sh
+++ b/run-mypy.sh
@@ -4,4 +4,4 @@ set -ex
 
 mypy --show-error-codes pytools
 
-mypy --strict --follow-imports=skip pytools/datatable.py pytools/persistent_dict.py
+mypy --strict --follow-imports=silent pytools/datatable.py pytools/persistent_dict.py
-- 
GitLab