Index: kern/err.c =================================================================== --- kern/err.c (revision 1800) +++ kern/err.c (working copy) @@ -21,6 +21,9 @@ #include #include +#ifdef GRUB_UTIL +#include +#endif #define GRUB_MAX_ERRMSG 256 #define GRUB_ERROR_STACK_SIZE 10 @@ -121,7 +124,11 @@ do { if (grub_errno != GRUB_ERR_NONE) +#ifdef GRUB_UTIL + fprintf (stderr, "error: %s\n"); +#else grub_printf ("error: %s\n", grub_errmsg); +#endif } while (grub_error_pop ());