From 7bbd806a60a0812b85134045126c59bdf2d87eb1 Mon Sep 17 00:00:00 2001
From: Rupert Swarbrick <rswarbrick@lowrisc.org>
Date: Wed, 16 Sep 2020 16:41:14 +0100
Subject: [PATCH] In util, restrict mypy linting to sv2v_in_place.py

The other scripts in the directory don't have typing annotations.
---
 Makefile      | 2 +-
 util/Makefile | 3 +++
 2 files changed, 4 insertions(+), 1 deletion(-)
 create mode 100644 util/Makefile

diff --git a/Makefile b/Makefile
index 09b5609a..7814a932 100644
--- a/Makefile
+++ b/Makefile
@@ -114,4 +114,4 @@ test-cfg:
 
 .PHONY: python-lint
 python-lint:
-	mypy --strict util
+	$(MAKE) -C util lint
diff --git a/util/Makefile b/util/Makefile
new file mode 100644
index 00000000..14e8b11b
--- /dev/null
+++ b/util/Makefile
@@ -0,0 +1,3 @@
+.PHONY: lint
+lint:
+	mypy --strict sv2v_in_place.py