1#!/bin/sh
 2# SPDX-License-Identifier: GPL-2.0
 3# Generates a small Makefile used in the root of the output
 4# directory, to allow make to be started from there.
 5# The Makefile also allow for more convinient build of external modules
 6
 7# Usage
 8# $1 - Kernel src directory
 9
10if [ "${quiet}" != "silent_" ]; then
11	echo "  GEN     Makefile"
12fi
13
14cat << EOF > Makefile
15# Automatically generated by $0: don't edit
16include $1/Makefile
17EOF