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

[linux-2.6-block.git] / tools / testing / selftests / rcutorture / formal / srcu-cbmc / tests / test_script.sh

diff --git a/tools/testing/selftests/rcutorture/formal/srcu-cbmc/tests/test_script.sh b/tools/testing/selftests/rcutorture/formal/srcu-cbmc/tests/test_script.sh
index d1545972a0fa431b4bb8e2cc75188142a105e6a6..2fe1f0339b4fa0e92086e40092e0a798cfe7f1f0 100755 (executable)
--- a/tools/testing/selftests/rcutorture/formal/srcu-cbmc/tests/test_script.sh
+++ b/tools/testing/selftests/rcutorture/formal/srcu-cbmc/tests/test_script.sh
@@ -1,4 +1,5 @@
 #!/bin/sh
+# SPDX-License-Identifier: GPL-2.0
 
 # This script expects a mode (either --should-pass or --should-fail) followed by
 # an input file. The script uses the following environment variables. The test C