#!/bin/sh
|
# SPDX-License-Identifier: GPL-2.0
|
|
FILES='
|
arch/x86/lib/insn.c
|
arch/x86/lib/inat.c
|
arch/x86/lib/x86-opcode-map.txt
|
arch/x86/tools/gen-insn-attr-x86.awk
|
arch/x86/include/asm/insn.h
|
arch/x86/include/asm/inat.h
|
arch/x86/include/asm/inat_types.h
|
arch/x86/include/asm/orc_types.h
|
'
|
|
check()
|
{
|
local file=$1
|
|
diff $file ../../$file > /dev/null ||
|
echo "Warning: synced file at 'tools/objtool/$file' differs from latest kernel version at '$file'"
|
}
|
|
if [ ! -d ../../kernel ] || [ ! -d ../../tools ] || [ ! -d ../objtool ]; then
|
exit 0
|
fi
|
|
for i in $FILES; do
|
check $i
|
done
|
