Makefile: introduce dist target

Signed-off-by: Wei Liu <wei.liu2@citrix.com>

diff --git a/Makefile b/Makefile
index c8984d49c08f905b73d7f16ab685853a5f09f956..cfbaa99062dc2b2997023606acb0e79d3460fe33 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -642,6 +642,10 @@ downloadclean: patchclean
 distclean: downloadclean
        rm -rf config.log config.status config.cache autom4te.cache ../config/Stubdom.mk
 
+.PHONY: dist
+dist: DESTDIR=$(DISTDIR)/install
+dist: install
+
 ifeq (,$(findstring clean,$(MAKECMDGOALS)))
 $(XEN_ROOT)/config/Stubdom.mk:
        $(error You have to run ./configure before building or installing stubdom)