2 # Generates a small Makefile used in the root of the output
3 # directory, to allow make to be started from there.
4 # The Makefile also allow for more convinient build of external modules
7 # $1 - Kernel src directory
8 # $2 - Output directory
13 test ! -r $2/Makefile -o -O $2/Makefile || exit 0
14 echo " GEN $2/Makefile"
16 cat << EOF > $2/Makefile
17 # Automatically generated by $0: don't edit
25 MAKEFLAGS += --no-print-directory
27 .PHONY: all \$(MAKECMDGOALS)
30 \$(MAKE) -C \$(KERNELSRC) O=\$(KERNELOUTPUT)
34 \$(filter-out all Makefile,\$(MAKECMDGOALS)) %/:
35 \$(MAKE) -C \$(KERNELSRC) O=\$(KERNELOUTPUT) \$@