License cleanup: add SPDX GPL-2.0 license identifier to files with no license

[linux-block.git] / tools / testing / selftests / rcutorture / formal / srcu-cbmc / src / config.h

diff --git a/tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/config.h b/tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/config.h
index a60038aeea7a9f6785a9f713e1cf16dc5008c042..283d7103334f4e5ee3b8abfab5025ada7ecebff3 100644 (file)
--- a/tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/config.h
+++ b/tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/config.h
@@ -1,3 +1,4 @@
+/* SPDX-License-Identifier: GPL-2.0 */
 /* "Cheater" definitions based on restricted Kconfig choices. */
 
 #undef CONFIG_TINY_RCU