mkmakefile

#!/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 $0: don't edit
include $1/Makefile
EOF