#!/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