From 80f07dadd69bfb9ca246126ceea7e119ddc2c9db Mon Sep 17 00:00:00 2001 From: Wei Liu Date: Thu, 10 Mar 2016 14:33:37 +0000 Subject: [PATCH] Makefile: introduce dist target Signed-off-by: Wei Liu --- Makefile | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/Makefile b/Makefile index c8984d4..cfbaa99 100644 --- 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) -- 2.39.5