From 2d741cb5450e8bee685020b9354ce7b262a6c0f7 Mon Sep 17 00:00:00 2001 From: Konrad Rzeszutek Wilk Date: Fri, 21 Jun 2013 13:20:43 -0400 Subject: [PATCH] Makefile: Remove the config file for Xen when make clean is invoked. Signed-off-by: Konrad Rzeszutek Wilk --- Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/Makefile b/Makefile index 96cdcaa..163c718 100644 --- a/Makefile +++ b/Makefile @@ -212,6 +212,7 @@ xen-clean: if [ -e xen ]; then \ rm -Rf xen/tools/iommu-remote; \ $(MAKE) -C xen clean; \ + if [ -e xen/tools/config.h ]; then rm xen/tools/config.h; fi \ fi xen-distclean: xen-clean -- 2.39.5