dc0c71d974
* gendistlist.sh (EXTRA_DISTFILES): Add `genvideolist.sh'.
* genmk.rb (video): New variable.
(CLEANFILES, VIDEOFILES): Add #{video}.
(#{video}): New target rule.
* genvideolist.sh: New file.
* Makefile.in (pkglib_DATA): Add video.lst.
(video.lst): New target rule.
* util/grub-mkconfig.in: Initialize ${GRUB_VIDEO_BACKEND} using
`video.lst'.
* util/grub.d/30_os-prober.in: Replace `vbe' with
${GRUB_VIDEO_BACKEND}.
26 lines
777 B
Bash
26 lines
777 B
Bash
#! /bin/sh
|
|
#
|
|
# Copyright (C) 2005,2008,2009 Free Software Foundation, Inc.
|
|
#
|
|
# This script 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.
|
|
|
|
# Read source code from stdin and detect partmap names.
|
|
|
|
module=$1
|
|
|
|
# Ignore video.mod.
|
|
if test $module = video; then
|
|
exit
|
|
fi
|
|
|
|
# For now, this emits only a module name, if the module registers a partition map.
|
|
if grep -v "^#" | grep '^ *grub_video_register' >/dev/null 2>&1; then
|
|
echo $module
|
|
fi
|