From: He Zhe <zhe...@windriver.com>

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...@windriver.com>
---
Branches need to be merged to:
linux-yocto: v5.4/standard/base v5.2/standard/base v4.19/standard/base
             v4.18/standard/base v4.15/standard/base v4.14/standard/base
linux-yocto-dev: standard/base v5.4/standard/base

 tools/arch/x86/tools/gen-insn-attr-x86.awk                      | 2 +-
 .../selftests/rcutorture/formal/srcu-cbmc/modify_srcu.awk       | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/tools/arch/x86/tools/gen-insn-attr-x86.awk 
b/tools/arch/x86/tools/gen-insn-attr-x86.awk
index a42015b305f4..1c2832e9f77d 100644
--- a/tools/arch/x86/tools/gen-insn-attr-x86.awk
+++ b/tools/arch/x86/tools/gen-insn-attr-x86.awk
@@ -1,4 +1,4 @@
-#!/bin/awk -f
+#!/usr/bin/awk -f
 # SPDX-License-Identifier: GPL-2.0
 # gen-insn-attr-x86.awk: Instruction attribute table generator
 # Written by Masami Hiramatsu <mhira...@redhat.com>
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
-- 
2.24.1

-=-=-=-=-=-=-=-=-=-=-=-
Links: You receive all messages sent to this group.

View/Reply Online (#8306): 
https://lists.yoctoproject.org/g/linux-yocto/message/8306
Mute This Topic: https://lists.yoctoproject.org/mt/69710658/21656
Group Owner: linux-yocto+ow...@lists.yoctoproject.org
Unsubscribe: https://lists.yoctoproject.org/g/linux-yocto/unsub  
[arch...@mail-archive.com]
-=-=-=-=-=-=-=-=-=-=-=-

Reply via email to