geninit.sh 1.9 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576
  1. #! /bin/sh
  2. #
  3. # Copyright (C) 2002,2005,2007 Free Software Foundation, Inc.
  4. #
  5. # This gensymlist.sh is free software; the author
  6. # gives unlimited permission to copy and/or distribute it,
  7. # with or without modifications, as long as this notice is preserved.
  8. #
  9. # This program is distributed in the hope that it will be useful,
  10. # but WITHOUT ANY WARRANTY, to the extent permitted by law; without
  11. # even the implied warranty of MERCHANTABILITY or FITNESS FOR A
  12. # PARTICULAR PURPOSE.
  13. lst="$1"
  14. shift
  15. header=`echo "${lst}" | sed -e "s/\.lst$/.h/g"`
  16. cat <<EOF
  17. /* This file is automatically generated by geninit.sh. DO NOT EDIT! */
  18. /*
  19. * GRUB -- GRand Unified Bootloader
  20. * Copyright (C) 2002,2005,2007 Free Software Foundation, Inc.
  21. *
  22. * GRUB is free software: you can redistribute it and/or modify
  23. * it under the terms of the GNU General Public License as published by
  24. * the Free Software Foundation, either version 3 of the License, or
  25. * (at your option) any later version.
  26. *
  27. * GRUB is distributed in the hope that it will be useful,
  28. * but WITHOUT ANY WARRANTY; without even the implied warranty of
  29. * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  30. * GNU General Public License for more details.
  31. *
  32. * You should have received a copy of the GNU General Public License
  33. * along with GRUB. If not, see <http://www.gnu.org/licenses/>.
  34. */
  35. #include <$header>
  36. EOF
  37. cat <<EOF
  38. void
  39. grub_init_all (void)
  40. {
  41. EOF
  42. while read line; do
  43. file=`echo $line | cut -f1 -d:`
  44. if echo $@ | grep $file >/dev/null; then
  45. echo $line | sed -e 's/.*GRUB_MOD_INIT *(\([a-zA-Z0-9_]*\)).*/ grub_\1_init ();/'
  46. fi
  47. done < ${lst}
  48. cat <<EOF
  49. }
  50. EOF
  51. cat <<EOF
  52. void
  53. grub_fini_all (void)
  54. {
  55. EOF
  56. while read line; do
  57. file=`echo $line | cut -f1 -d:`
  58. if echo $@ | grep $file >/dev/null; then
  59. echo $line | sed -e 's/.*GRUB_MOD_INIT *(\([a-zA-Z0-9_]*\)).*/ grub_\1_fini ();/'
  60. fi
  61. done < ${lst}
  62. cat <<EOF
  63. }
  64. EOF