From 4a339bd37a3a95fd6a187f3e3291911a23289f46 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 e790886f5b5..945b8d5b5cc 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -71,6 +71,8 @@ lint: -R002 \ -R004 \ -R006 \ + -R007 \ + -R008 \ -R012 \ -R013 \ -R014 \