From 5e00bbc2629114148e61282beb15e510e339b7ba Mon Sep 17 00:00:00 2001 From: Boris Ostrovsky Date: Thu, 14 Jan 2016 10:44:04 +0100 Subject: [PATCH] build: remove .config when making distclean Signed-off-by: Boris Ostrovsky Reviewed-by: Doug Goldstein --- xen/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/xen/Makefile b/xen/Makefile index d30d251718..3699b20bd2 100644 --- a/xen/Makefile +++ b/xen/Makefile @@ -109,7 +109,7 @@ _clean: delete-unfresh-files .PHONY: _distclean _distclean: clean - rm -f tags TAGS cscope.files cscope.in.out cscope.out cscope.po.out GTAGS GPATH GRTAGS GSYMS + rm -f tags TAGS cscope.files cscope.in.out cscope.out cscope.po.out GTAGS GPATH GRTAGS GSYMS .config $(TARGET).gz: $(TARGET) gzip -f -9 < $< > $@.new -- 2.30.2