#!/bin/sh | |
# 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 | |
# $2 - Output directory | |
# $3 - version | |
# $4 - patchlevel | |
test ! -r $2/Makefile -o -O $2/Makefile || exit 0 | |
echo " GEN $2/Makefile" | |
cat << EOF > $2/Makefile | |
# Automatically generated by $0: don't edit | |
VERSION = $3 | |
PATCHLEVEL = $4 | |
KERNELSRC := $1 | |
KERNELOUTPUT := $2 | |
MAKEFLAGS += --no-print-directory | |
.PHONY: all \$(MAKECMDGOALS) | |
all := \$(filter-out all Makefile,\$(MAKECMDGOALS)) | |
all: | |
\$(MAKE) -C \$(KERNELSRC) O=\$(KERNELOUTPUT) \$(all) | |
Makefile:; | |
\$(all) %/: all | |
@: | |
EOF |