From cc517ffcfd44c612459a988dbc4d62d3962070ae Mon Sep 17 00:00:00 2001 From: tobiasKaminsky Date: Mon, 29 Jun 2020 11:09:39 +0200 Subject: [PATCH] Lint ignore Signed-off-by: tobiasKaminsky --- lint.xml | 6 ++++++ scripts/analysis/lint-results.txt | 2 +- 2 files changed, 7 insertions(+), 1 deletion(-) diff --git a/lint.xml b/lint.xml index f5bbf7f2dc..ada83941fc 100644 --- a/lint.xml +++ b/lint.xml @@ -55,4 +55,10 @@ + + + + + + diff --git a/scripts/analysis/lint-results.txt b/scripts/analysis/lint-results.txt index f7531aa09b..79434a37bf 100644 --- a/scripts/analysis/lint-results.txt +++ b/scripts/analysis/lint-results.txt @@ -1,2 +1,2 @@ DO NOT TOUCH; GENERATED BY DRONE - Lint Report: 86 warnings + Lint Report: 83 warnings