From 45a982ddc5be9c4ef5fcbd52eac49a3caa854791 Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 7 Nov 2019 13:42:49 +0100
Subject: [PATCH] Makefile.local: port to new swh-environment typecheck naming

---
 Makefile.local | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile.local b/Makefile.local
index 3a9ed476..882a723c 100644
--- a/Makefile.local
+++ b/Makefile.local
@@ -30,5 +30,5 @@ run:
 # *should* work without any override thanks to the mypy django-stubs plugin,
 # but it currently doesn't; see
 # https://github.com/typeddjango/django-stubs/issues/166
-typecheck:
+check-mypy:
 	DJANGO_SETTINGS_MODULE=swh.deposit.settings.testing $(MYPY) $(MYPYFLAGS) swh
-- 
GitLab