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

[sfrench/cifs-2.6.git] / tools / testing / selftests / rcutorture / formal / srcu-cbmc / src / preempt.c

diff --git a/tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/preempt.c b/tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/preempt.c
index 4f1b068e9b7a6e68d3472efb4cbe9ba84759e137..b4083ae348fb2c1e1c2614bed5c94cb5ac18c5b3 100644 (file)
--- a/tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/preempt.c
+++ b/tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/preempt.c
@@ -1,3 +1,4 @@
+// SPDX-License-Identifier: GPL-2.0
 #include <config.h>
 
 #include "preempt.h"