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
18