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

if [ -z "$2" ]; then
cat << EOF > Makefile
# Automatically generated by $(realpath $0): don't edit
include $(realpath $1/Makefile)
EOF
else
cat << EOF > "$2/Makefile"
# Automatically generated by $(basename $0): don't edit
include $1/Makefile
EOF
fi
