aboutsummaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile5
1 files changed, 5 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 662e31f549..9f1e3c4af1 100644
--- a/Makefile
+++ b/Makefile
@@ -118,6 +118,11 @@ world:
$(MAKE) kdelete
$(MAKE) dist
+# Package a build in a .deb file
+.PHONY: deb
+deb: dist
+ fakeroot sh ./tools/misc/mkdeb $(XEN_ROOT) $$($(MAKE) -C xen xenversion | grep -v :)
+
# clean doesn't do a kclean
.PHONY: clean
clean::