From f930087f2a2503b6673ff032751aac3c216d054a Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Sat, 18 Jun 2011 08:27:38 +0100 Subject: [PATCH] If virt-dmesg/virt-uname fails, suggest they use --dump-kernel option. --- src/main.ml | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/src/main.ml b/src/main.ml index 5022a71..0615376 100644 --- a/src/main.ml +++ b/src/main.ml @@ -203,6 +203,8 @@ See virt-dmesg(1) man page for more suggestions." guest_name; with Not_found -> error "could not find kernel log buffer in kernel image"; + error "try: %s --dump-kernel %s | strings | less" + (get_program_name ()) guest_name; exit 1 ) @@ -222,6 +224,8 @@ See virt-dmesg(1) man page for more suggestions." guest_name; match addr with | None -> error "init_uts_ns nor system_utsname symbols not found in this kernel"; + error "try: %s --dump-kernel %s | strings | less" + (get_program_name ()) guest_name; exit 1 | Some addr -> @@ -241,6 +245,8 @@ See virt-dmesg(1) man page for more suggestions." guest_name; (* Sanity check. *) if system <> "Linux" then ( error "utsname symbols found in kernel, but points to unknown structure"; + error "try: %s --dump-kernel %s | strings | less" + (get_program_name ()) guest_name; exit 1 ); -- 1.8.3.1