ieee1275: split up grub_machine_get_bootlocation

[grub.git] / geninit.sh

diff --git a/geninit.sh b/geninit.sh
index 47e5e0a..f081012 100644 (file)
--- a/geninit.sh
+++ b/geninit.sh
@@ -31,22 +31,24 @@ cat <<EOF
  *  along with GRUB.  If not, see <http://www.gnu.org/licenses/>.
  */
 
-#include <grub_modules_init.h>
+#include <grub/emu/misc.h>
 
 EOF
 
+for mod in "$@"; do
+    echo "extern void grub_${mod}_init (void);"
+    echo "extern void grub_${mod}_fini (void);"
+done
+
 cat <<EOF
 void
 grub_init_all (void)
 {
 EOF
 
-while read line; do
-  file=`echo $line | cut -f1 -d:`
-  if echo $@ | grep $file >/dev/null; then
-    echo $line | sed -e 's/.*GRUB_MOD_INIT *(\([a-zA-Z0-9_]*\)).*/  grub_\1_init ();/'
-  fi
-done < grub_modules_init.lst
+for mod in "$@"; do
+    echo "grub_${mod}_init ();"
+done
 
 cat <<EOF
 }
@@ -58,12 +60,9 @@ grub_fini_all (void)
 {
 EOF
 
-while read line; do
-  file=`echo $line | cut -f1 -d:`
-  if echo $@ | grep $file >/dev/null; then
-    echo $line | sed -e 's/.*GRUB_MOD_INIT *(\([a-zA-Z0-9_]*\)).*/  grub_\1_fini ();/'
-  fi
-done < grub_modules_init.lst
+for mod in "$@"; do
+    echo "grub_${mod}_fini ();"
+done
 
 cat <<EOF
 }