From f98eed07be5ff54c4824401604cd1e202afdfce0 Mon Sep 17 00:00:00 2001
From: "Eric S. Raymond" <esr@thyrsus.com>
Date: Mon, 22 Apr 2019 06:03:16 -0400
Subject: [PATCH] pychecker seems no longer useful.

---
 Makefile | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/Makefile b/Makefile
index 2dc765e..7aa6fad 100644
--- a/Makefile
+++ b/Makefile
@@ -31,9 +31,6 @@ dist: sst-$(VERS).tar.gz
 check: #pylint
 	cd test; make --quiet
 
-pychecker:
-	@-pychecker --quiet --only --limit 50 sst.py
-
 COMMON_PYLINT = --rcfile=/dev/null --reports=n \
 	--msg-template="{path}:{line}: [{msg_id}({symbol}), {obj}] {msg}" \
 	--dummy-variables-rgx='^_'
-- 
2.31.1