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

[thirdparty/linux.git] / tools / testing / selftests / rcutorture / formal / srcu-cbmc / modify_srcu.awk

diff --git a/tools/testing/selftests/rcutorture/formal/srcu-cbmc/modify_srcu.awk b/tools/testing/selftests/rcutorture/formal/srcu-cbmc/modify_srcu.awk
index c9e8bc5082a78d77ec34a673c11beb745a70fbdc..e05182d3e47d195f9b7a4d9f533cc82f7a079c3a 100755 (executable)
--- a/tools/testing/selftests/rcutorture/formal/srcu-cbmc/modify_srcu.awk
+++ b/tools/testing/selftests/rcutorture/formal/srcu-cbmc/modify_srcu.awk
@@ -1,4 +1,5 @@
 #!/usr/bin/awk -f
+# SPDX-License-Identifier: GPL-2.0
 
 # Modify SRCU for formal verification. The first argument should be srcu.h and
 # the second should be srcu.c. Outputs modified srcu.h and srcu.c into the