diff options
| author |   He Zhe <zhe.he@windriver.com> | 2020-01-15 11:12:17 +0800 |
|---|---|---|
| committer |   Bruce Ashfield <bruce.ashfield@gmail.com> | 2020-01-17 18:19:31 -0500 |
| commit | a7a3a30361afc4bdbf865a77f7fc5b0a43b1fcad (patch) | |
| tree | d74a76c3e62828360fb522a6c9ad059da234372b | |
| parent | 9491d3821c562602414e3886ffe2ff10d9e6d09a (diff) | |
| download | linux-yocto-v4.18/standard/base.tar.gz linux-yocto-v4.18/standard/base.tar.bz2 linux-yocto-v4.18/standard/base.zip | |
linux-yocto linux-yocto-dev: Fix /bin/awk issuesv4.18/standard/tiny/intelv4.18/standard/tiny/common-pcv4.18/standard/tiny/basev4.18/standard/qemuppcv4.18/standard/qemuarm64v4.18/standard/intel-x86v4.18/standard/intelv4.18/standard/edgerouterv4.18/standard/beaglebonev4.18/standard/base
084857b1bf19 ("linux-yocto: Handle /bin/awk issues") makes one mistake and
misses one substitution causing the following warning.
Warning: Kernel ABI header at 'tools/arch/x86/tools/gen-insn-attr-x86.awk'
differs from latest version at 'arch/x86/tools/gen-insn-attr-x86.awk'
Fixes: 084857b1bf19 ("linux-yocto: Handle /bin/awk issues")
Signed-off-by: He Zhe <zhe.he@windriver.com>
Signed-off-by: Bruce Ashfield <bruce.ashfield@gmail.com>
| -rw-r--r-- | tools/testing/selftests/rcutorture/formal/srcu-cbmc/modify_srcu.awk | 2 |
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 |