diff options
Diffstat (limited to 'debian/grub-xen-host_grub-pvh.cfg')
| -rw-r--r-- | debian/grub-xen-host_grub-pvh.cfg | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/debian/grub-xen-host_grub-pvh.cfg b/debian/grub-xen-host_grub-pvh.cfg new file mode 100644 index 0000000..01820b7 --- /dev/null +++ b/debian/grub-xen-host_grub-pvh.cfg @@ -0,0 +1,9 @@ +if search -s -f /boot/grub/grub.cfg ; then + echo "Reading (${root})/boot/grub/grub.cfg" + configfile /boot/grub/grub.cfg +fi + +if search -s -f /grub/grub.cfg ; then + echo "Reading (${root})/grub/grub.cfg" + configfile /grub/grub.cfg +fi |