From 093a6c67005148ae32a5c9e4553491b9f5c2457b Mon Sep 17 00:00:00 2001
From: hc <hc@nodka.com>
Date: Fri, 10 May 2024 07:40:51 +0000
Subject: [PATCH] disable kernel build waring

---
 kernel/tools/testing/selftests/rcutorture/formal/srcu-cbmc/.gitignore |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)

diff --git a/kernel/tools/testing/selftests/rcutorture/formal/srcu-cbmc/.gitignore b/kernel/tools/testing/selftests/rcutorture/formal/srcu-cbmc/.gitignore
index 712a3d4..24e2795 100644
--- a/kernel/tools/testing/selftests/rcutorture/formal/srcu-cbmc/.gitignore
+++ b/kernel/tools/testing/selftests/rcutorture/formal/srcu-cbmc/.gitignore
@@ -1 +1,2 @@
+# SPDX-License-Identifier: GPL-2.0-only
 srcu.c

--
Gitblit v1.6.2