#!/bin/sh# SPDX-License-Identifier: GPL-2.0# Generates a small Makefile used in the root of the output# directory, to allow make to be started from there.# The Makefile also allow for more convinient build of external modules # Usage# $1 - Kernel src directory if [ "${quiet}" != "silent_" ]; then	echo "  GEN     Makefile"fi cat << EOF > Makefile# Automatically generated by $(realpath $0): don't editinclude $(realpath $1/Makefile)EOF