diff options
Diffstat (limited to '')
-rwxr-xr-x | scripts/mkmakefile | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/scripts/mkmakefile b/scripts/mkmakefile new file mode 100755 index 000000000..1cb174751 --- /dev/null +++ b/scripts/mkmakefile @@ -0,0 +1,17 @@ +#!/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 |