diff options
Diffstat (limited to 'scripts/grub-setup')
-rwxr-xr-x | scripts/grub-setup | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/scripts/grub-setup b/scripts/grub-setup index 1e6751d9..109f5cb9 100755 --- a/scripts/grub-setup +++ b/scripts/grub-setup @@ -104,6 +104,12 @@ vga_logo="vga=785" echo -e "serial --unit=0 --speed=9600" echo "terminal serial" + if [ ${ROOT_PARTITION:0:2} = "md" ]; then + echo "" + echo -e "insmod raid" + echo -e "root ($ROOT_PARTITION)" + fi + echo "" echo "echo -n Press ESC to enter the Grub menu..." echo "if sleep --verbose --interruptible 5 ; then" |