#! /bin/sh # # Copyright (C) 2002 Free Software Foundation, Inc. # # This genmodsrc.sh is free software; the author # gives unlimited permission to copy and/or distribute it, # with or without modifications, as long as this notice is preserved. # # This program is distributed in the hope that it will be useful, # but WITHOUT ANY WARRANTY, to the extent permitted by law; without # even the implied warranty of MERCHANTABILITY or FITNESS FOR A # PARTICULAR PURPOSE. set -e mod_name="$1" deps="$2" cat < EOF echo "GRUB_MOD_NAME(${mod_name});" for mod in `grep "^${mod_name}:" ${deps} | sed 's/^[^:]*://'`; do echo "GRUB_MOD_DEP(${mod});" done