From 67e67203c69628278cf8c20f76a7bfe7395f2623 Mon Sep 17 00:00:00 2001 From: Alex Pilon Date: Wed, 29 Apr 2020 14:08:39 -0400 Subject: [PATCH] enable lint checks R007 and R008 --- GNUmakefile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/GNUmakefile b/GNUmakefile index 1368336403b4..fe305428538d 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -71,6 +71,8 @@ lint: -R002 \ -R004 \ -R006 \ + -R007 \ + -R008 \ -R012 \ -R013 \ -R014 \