scripts/mkmakefile

   1 #!/bin/sh
   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
   5
   6 # Usage
   7 # $1 - Kernel src directory
   8 # $2 - Output directory
   9 # $3 - version
  10 # $4 - patchlevel
  11
  12
  13 test ! -r $2/Makefile -o -O $2/Makefile || exit 0
  14 # Only overwrite automatically generated Makefiles
  15 # (so we do not overwrite kernel Makefile)
  16 if ! grep -q Automatically $2/Makefile
  17 then
  18         exit 0
  19 fi
  20 echo "  GEN     $2/Makefile"
  21
  22 cat << EOF > $2/Makefile
  23 # Automatically generated by $0: don't edit
  24
  25 VERSION = $3
  26 PATCHLEVEL = $4
  27
  28 KERNELSRC    := $1
  29 KERNELOUTPUT := $2
  30
  31 MAKEFLAGS += --no-print-directory
  32
  33 .PHONY: all \$(MAKECMDGOALS)
  34
  35 all     := \$(filter-out all Makefile,\$(MAKECMDGOALS))
  36
  37 all:
  38         \$(MAKE) -C \$(KERNELSRC) O=\$(KERNELOUTPUT) \$(all)
  39
  40 Makefile:;
  41
  42 \$(all) %/: all
  43         @:
  44 EOF