From cac86eced42741e3dc86c20e56b9e9d3354cb7e9 Mon Sep 17 00:00:00 2001 From: "kaf24@firebug.cl.cam.ac.uk" Date: Fri, 16 Sep 2005 09:16:24 +0000 Subject: distclean target added to root makefile. From rusty. --- Makefile | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index ea52d8c98c..0310dc8f9d 100644 --- a/Makefile +++ b/Makefile @@ -98,12 +98,15 @@ clean:: $(MAKE) -C tools clean $(MAKE) -C docs clean -# clean, but blow away kernel build tree plus tar balls -mrproper: clean +# clean, but blow away kernel build tree plus tarballs +distclean: clean rm -rf dist patches/tmp for i in $(ALLKERNELS) ; do $(MAKE) $$i-delete ; done for i in $(ALLSPARSETREES) ; do $(MAKE) $$i-mrproper ; done +# Linux name for GNU distclean +mrproper: distclean + install-logging: LOGGING=logging-0.4.9.2 install-logging: [ -f $(LOGGING).tar.gz ] || wget http://www.red-dove.com/$(LOGGING).tar.gz @@ -142,7 +145,7 @@ help: @echo 'Cleaning targets:' @echo ' clean - clean the Xen, tools and docs (but not' @echo ' guest kernel) trees' - @echo ' mrproper - clean plus delete kernel tarballs and kernel' + @echo ' distclean - clean plus delete kernel tarballs and kernel' @echo ' build trees' @echo ' kdelete - delete guest kernel build trees' @echo ' kclean - clean guest kernel build trees' -- cgit v1.2.3