Makefile: Add XEN_OPTS to pass in extra build arguments to Xen.

For example:

XEN_OPTS="debug=y"

Signed-off-by: Konrad Rzeszutek Wilk <konrad.wilk@oracle.com>

diff --git a/Makefile b/Makefile
index 7bec8a5f1e34a01785ae43667742fc3007933991..96cdcaa71687fb1daf27fff4329e8d86a9e03ae4 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -177,9 +177,9 @@ ifeq ($(ARCH),i386)
        touch xen/xen/xen.gz
 else
 ifeq ($(KBUILD_VERBOSE),1)
-       $(MAKE) -C xen xen -j$$(($(NCPUS) * 2))
+       $(MAKE) -C xen $(XEN_OPTS) xen -j$$(($(NCPUS) * 2))
 else
-       $(MAKE) -C xen xen -j$$(($(NCPUS) * 2)) 1>/dev/null
+       $(MAKE) -C xen $(XEN_OPTS) xen -j$$(($(NCPUS) * 2)) 1>/dev/null
 endif
 endif