diff --git a/xen/Makefile b/xen/Makefile index 42f0ffafb0..33b03f4854 100644 --- a/xen/Makefile +++ b/xen/Makefile @@ -1,3 +1,7 @@ +# Default is to install to local 'dist' directory. +DISTDIR ?= ../dist +DESTDIR ?= $(DISTDIR)/install + INSTALL = install INSTALL_DATA = $(INSTALL) -m0644 INSTALL_DIR = $(INSTALL) -d -m0755 @@ -20,6 +24,9 @@ $(TARGET).gz: $(TARGET) debug: objdump -D -S $(TARGET)-syms > $(TARGET).s +dist: + $(MAKE) install + install: $(TARGET).gz [ -d $(DESTDIR)/boot ] || $(INSTALL_DIR) $(DESTDIR)/boot $(INSTALL_DATA) $(TARGET).gz $(DESTDIR)/boot