From a1b737c2896b82981236f6032c33ea87a6ff7459 Mon Sep 17 00:00:00 2001 From: Kaushik Kulkarni Date: Mon, 1 Nov 2021 10:20:01 -0500 Subject: [PATCH] run-mypy.sh: show error codes --- run-mypy.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/run-mypy.sh b/run-mypy.sh index 43e6485..2d08e14 100755 --- a/run-mypy.sh +++ b/run-mypy.sh @@ -1,3 +1,3 @@ #! /bin/bash -mypy pytools +mypy --show-error-codes pytools -- GitLab