MIRRORS/linux-yocto
1
0
Fork 0
mirror of git://git.yoctoproject.org/linux-yocto.git synced 2025-07-05 05:15:23 +02:00
Code Issues Actions Packages Projects Releases Wiki Activity

linux-yocto linux-yocto-dev: Fix /bin/awk issues

Browse Source 
084857b1bf ("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: 084857b1bf ("linux-yocto: Handle /bin/awk issues")
Signed-off-by: He Zhe <zhe.he@windriver.com>
Signed-off-by: Bruce Ashfield <bruce.ashfield@gmail.com>
This commit is contained in:
He Zhe 2020-01-15 11:12:17 +08:00 committed by Bruce Ashfield
parent 3373c0cf71
commit a07c915df9
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tools/testing/selftests/rcutorture/formal/srcu-cbmc/modify_srcu.awk
View File

@ -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