ia64/xen-unstable

changeset 5721:c32cf5fef34c

Don't build xenctx by default,a nd fix one error msg.
author kaf24@firebug.cl.cam.ac.uk
date Mon Jul 11 09:03:24 2005 +0000 (2005-07-11)
parents dd798dd2abce
children f261f14b9781
files tools/xentrace/Makefile tools/xentrace/xenctx.c
line diff
     1.1 --- a/tools/xentrace/Makefile	Mon Jul 11 09:00:35 2005 +0000
     1.2 +++ b/tools/xentrace/Makefile	Mon Jul 11 09:03:24 2005 +0000
     1.3 @@ -14,7 +14,7 @@ CFLAGS  += -I $(XEN_LIBXC)
     1.4  HDRS     = $(wildcard *.h)
     1.5  OBJS     = $(patsubst %.c,%.o,$(wildcard *.c))
     1.6  
     1.7 -BIN      = xentrace xenctx
     1.8 +BIN      = xentrace
     1.9  SCRIPTS  = xentrace_format
    1.10  MAN1     = $(wildcard *.1)
    1.11  MAN8     = $(wildcard *.8)
     2.1 --- a/tools/xentrace/xenctx.c	Mon Jul 11 09:00:35 2005 +0000
     2.2 +++ b/tools/xentrace/xenctx.c	Mon Jul 11 09:03:24 2005 +0000
     2.3 @@ -90,7 +90,7 @@ void dump_ctx(u32 domid, u32 vcpu)
     2.4  
     2.5      ret = xc_domain_get_vcpu_context(xc_handle, domid, vcpu, &ctx);
     2.6      if (ret != 0) {
     2.7 -        perror("xc_domain_getfullinfo");
     2.8 +        perror("xc_domain_get_vcpu_context");
     2.9          exit(-1);
    2.10      }
    2.11      print_ctx(&ctx);