#!/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