| 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 | |
| 10 | if [ "${quiet}" != "silent_" ]; then |
| 11 | echo " GEN Makefile" |
| 12 | fi |
| 13 | |
| 14 | cat << EOF > Makefile |
| 15 | # Automatically generated by $(realpath $0): don't edit |
| 16 | include $(realpath $1/Makefile) |
| 17 | EOF |