aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorBruce Ashfield <bruce.ashfield@gmail.com>2020-01-17 18:19:35 -0500
committerBruce Ashfield <bruce.ashfield@gmail.com>2020-01-17 18:19:35 -0500
commit17333483f73ced5f2c5b0b0806da65ef9b9f6d9b (patch)
treee48ec6099768ac48638faa32901adaa4aaee65c8
parent79660c1273bb094627363d6c3cf88d51a44e7b5d (diff)
parenta7a3a30361afc4bdbf865a77f7fc5b0a43b1fcad (diff)
downloadlinux-yocto-v4.18/standard/arm-versatile-926ejs.tar.gz
linux-yocto-v4.18/standard/arm-versatile-926ejs.tar.bz2
linux-yocto-v4.18/standard/arm-versatile-926ejs.zip
Merge branch 'v4.18/standard/base' into v4.18/standard/arm-versatile-926ejsv4.18/standard/arm-versatile-926ejs
-rw-r--r--tools/testing/selftests/rcutorture/formal/srcu-cbmc/modify_srcu.awk2
1 files changed, 1 insertions, 1 deletions
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 6798ab45032d..e05182d3e47d 100644
--- 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,4 @@
-#!/usr/usr/bin/awk -f
+#!/usr/bin/awk -f
# SPDX-License-Identifier: GPL-2.0
# Modify SRCU for formal verification. The first argument should be srcu.h and