From d97ba09c601887c57e9ec37234fe76346b25b16d Mon Sep 17 00:00:00 2001
From: Tim Newsome <tim@sifive.com>
Date: Thu, 10 Aug 2017 13:30:37 -0700
Subject: [PATCH] Pylint target files as well.

This would have prevented some bugs I committed earlier.
---
 debug/Makefile  | 2 +-
 debug/pylint.rc | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/debug/Makefile b/debug/Makefile
index 760a57b..90ee25c 100644
--- a/debug/Makefile
+++ b/debug/Makefile
@@ -9,7 +9,7 @@ default: spike$(XLEN).log
 all:	pylint spike32.log spike64.log
 
 pylint:
-	pylint --rcfile=pylint.rc *.py
+	pylint --rcfile=pylint.rc `git ls-files '*.py'`
 
 %.log:
 	$(GDBSERVER_PY) \
diff --git a/debug/pylint.rc b/debug/pylint.rc
index f32bebc..193ea3a 100644
--- a/debug/pylint.rc
+++ b/debug/pylint.rc
@@ -48,7 +48,7 @@ extension-pkg-whitelist=
 # no Warning level messages displayed, use"--disable=all --enable=classes
 # --disable=W"
 disable=bad-continuation, missing-docstring, invalid-name, locally-disabled,
-    too-few-public-methods, too-many-arguments, fixme
+    too-few-public-methods, too-many-arguments, fixme, duplicate-code
 
 
 [REPORTS]
-- 
2.30.2