diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -122,6 +122,13 @@ distclean: .PHONY: mrproper mrproper: distclean +# Prepare for source tarball +.PHONY: src-tarball +src-tarball: distclean + $(MAKE) -C xen .banner + rm -rf xen/tools/figlet + $(MAKE) -C xen distclean + .PHONY: help help: @echo 'Installation targets:' |