From c1f96709a67e3be8c030681cfecd131e23033dcc Mon Sep 17 00:00:00 2001 From: Jan Beulich Date: Thu, 28 Jun 2012 16:04:12 +0200 Subject: arm: fix build after c/s 25477:e12e0b038219 Only x86 currently has a struct vcpu field arch.gdbsx_vcpu_event. But as the whole function domain_pause_for_debugger() is pointless to be compiled when there's no arch support, simply introduce another HAS_* macro, enabled only on x86. Signed-off-by: Jan Beulich Acked-by: Ian Campbell Acked-by: Keir Fraser --- xen/Rules.mk | 1 + 1 file changed, 1 insertion(+) (limited to 'xen/Rules.mk') diff --git a/xen/Rules.mk b/xen/Rules.mk index 6123835ec1..f7cb8b2c86 100644 --- a/xen/Rules.mk +++ b/xen/Rules.mk @@ -51,6 +51,7 @@ CFLAGS-$(perfc) += -DPERF_COUNTERS CFLAGS-$(perfc_arrays) += -DPERF_ARRAYS CFLAGS-$(lock_profile) += -DLOCK_PROFILE CFLAGS-$(HAS_ACPI) += -DHAS_ACPI +CFLAGS-$(HAS_GDBSX) += -DHAS_GDBSX CFLAGS-$(HAS_PASSTHROUGH) += -DHAS_PASSTHROUGH CFLAGS-$(frame_pointer) += -fno-omit-frame-pointer -DCONFIG_FRAME_POINTER -- cgit v1.2.3