diff options
author | Dieter Plaetinck <dieter@plaetinck.be> | 2009-03-25 12:10:56 +0100 |
---|---|---|
committer | Dieter Plaetinck <dieter@plaetinck.be> | 2009-03-25 12:10:56 +0100 |
commit | dc3296c19e84370e714f522e033cfee5407ea029 (patch) | |
tree | 28df0a6ed5b88a9bad735e6410d0c5d5f3d8b6a0 /src/core/libs/lib-ui-interactive.sh | |
parent | 81472eb69c02b643eb0b66b712013f104d060bdf (diff) |
some debugging to help FS#13700 - grub menu.lst updating is broken
Diffstat (limited to 'src/core/libs/lib-ui-interactive.sh')
-rw-r--r-- | src/core/libs/lib-ui-interactive.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/core/libs/lib-ui-interactive.sh b/src/core/libs/lib-ui-interactive.sh index bae499d..be1f389 100644 --- a/src/core/libs/lib-ui-interactive.sh +++ b/src/core/libs/lib-ui-interactive.sh @@ -727,6 +727,7 @@ interactive_install_grub() { [ ! -f $grubmenu ] && show_warning "No grub?" "Error: Couldn't find $grubmenu. Is GRUB installed?" && return 1 # try to auto-configure GRUB... + debug 'UI-INTERACTIVE' "install_grub \$PART_ROOT $PART_ROOT \$GRUB_OK $GRUB_OK" if [ -n "$PART_ROOT" -a "$GRUB_OK" != '1' ] ; then GRUB_OK=0 grubdev=$(mapdev $PART_ROOT) |