From fc3809dec26d21eb18a568b9ec018ed0f042f901 Mon Sep 17 00:00:00 2001
From: Dieter Plaetinck <dieter@plaetinck.be>
Date: Mon, 10 Nov 2008 18:27:57 +0100
Subject: several small stupid thingies

---
 src/core/libs/lib-ui-interactive.sh | 10 ++++------
 1 file changed, 4 insertions(+), 6 deletions(-)

(limited to 'src/core/libs/lib-ui-interactive.sh')

diff --git a/src/core/libs/lib-ui-interactive.sh b/src/core/libs/lib-ui-interactive.sh
index 1fa9261..0d42e42 100644
--- a/src/core/libs/lib-ui-interactive.sh
+++ b/src/core/libs/lib-ui-interactive.sh
@@ -506,12 +506,10 @@ interactive_runtime_network() {
 
 
 interactive_install_grub() {
-    get_grub_map
-    local grubmenu="$var_TARGET_DIR/boot/grub/menu.lst"
-    if [ ! -f $grubmenu ]; then
-        notify "Error: Couldn't find $grubmenu.  Is GRUB installed?"
-        return 1
-    fi
+	get_grub_map
+	local grubmenu="$var_TARGET_DIR/boot/grub/menu.lst"
+	[ ! -f $grubmenu ] && show_warning "No grub?" "Error: Couldn't find $grubmenu.  Is GRUB installed?" && return 1
+
     # try to auto-configure GRUB...
     if [ "$PART_ROOT" != "" -a "$S_GRUB" != "1" ]; then
         grubdev=$(mapdev $PART_ROOT)
-- 
cgit v1.2.3-54-g00ecf