Makefile: in check-umids, exclude 'old.py' to avoid false positives.

diff --git a/Makefile b/Makefile
index 5529c1615449fb6a14355c58cd107d0cf22e63d5..cb09747dc9d09ddf20454da49e020662d0c20943 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -138,11 +138,11 @@ pyflakes:
        @echo
 
 check-umids:
-       $(PYTHON) misc/coding_tools/check-umids.py `find $(SOURCES) -name '*.py'`
+       $(PYTHON) misc/coding_tools/check-umids.py `find $(SOURCES) -name '*.py' -not -name 'old.py'`
        @echo
 
 -check-umids:
-       -$(PYTHON) misc/coding_tools/check-umids.py `find $(SOURCES) -name '*.py'`
+       -$(PYTHON) misc/coding_tools/check-umids.py `find $(SOURCES) -name '*.py' -not -name 'old.py'`
        @echo
 
 doc-checks: check-rst