]> xenbits.xensource.com Git - xentesttools/bootstrap.git/commitdiff
Makefile: Remove the config file for Xen when make clean
authorKonrad Rzeszutek Wilk <konrad.wilk@oracle.com>
Fri, 21 Jun 2013 17:20:43 +0000 (13:20 -0400)
committerKonrad Rzeszutek Wilk <konrad.wilk@oracle.com>
Fri, 21 Jun 2013 17:20:43 +0000 (13:20 -0400)
is invoked.

Signed-off-by: Konrad Rzeszutek Wilk <konrad.wilk@oracle.com>
Makefile

index 96cdcaa71687fb1daf27fff4329e8d86a9e03ae4..163c7180f947602d25c765088ad7d631ee528df0 100644 (file)
--- 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