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