build: cleanup configure detritus at toplevel and stubdom

These files were left over after
	$ git clean -f -dx
	$ ./configure
	$ make distclean
and picked up by a subsequent.
        $ git clean -f -dx

Ensure that these files are also correctly ignored.

Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Roger Pau Monné <roger.pau@citrix.com>
Committed-by: Ian Campbell <ian.campbell@citrix.com>

diff --git a/.gitignore b/.gitignore
index e96db5728f198fc1f741ac6d4b22eeedc0ee0258..125a5820c5b42751450a42301de8345ee9226e60 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -31,6 +31,7 @@ stubdom/*.tar.gz
 autom4te.cache/
 config.log
 config.status
+config.cache
 config/Toplevel.mk
 
 build-*
@@ -101,10 +102,11 @@ patches/tmp/*
 pristine-*
 ref-*
 tmp-*
-stubdom/autom4te.cache
+stubdom/autom4te.cache/
 stubdom/binutils-*
 stubdom/config.log
 stubdom/config.status
+stubdom/config.cache
 stubdom/cross-root-*
 stubdom/gcc-*
 stubdom/include
@@ -128,7 +130,7 @@ stubdom/ioemu/
 stubdom/stubdompath.sh
 stubdom/vtpm/vtpm_manager.h
 tools/*/build/lib*/*.py
-tools/autom4te.cache
+tools/autom4te.cache/
 tools/config.h
 tools/config.log
 tools/config.status

diff --git a/.hgignore b/.hgignore
index 5efd72c0481a88074add1cbfe6ff4318276ae7c1..74fd42492176c0b30dae67faaa82d181e2c20435 100644 (file)
--- a/.hgignore
+++ b/.hgignore
@@ -28,8 +28,9 @@
 (^|/)(GTAGS|GPATH|GSYMS|GRTAGS)$
 ^autom4te\.cache$
 ^config\.log$
-^config\.status
-^config/Toplevel\.mk
+^config\.status$
+^config\.cache$
+^config/Toplevel\.mk$
 ^build-.*$
 ^dist/.*$
 ^docs/autom4te\.cache$
@@ -101,6 +102,7 @@
 ^stubdom/binutils-.*$
 ^stubdom/config\.log$
 ^stubdom/config\.status$
+^stubdom/config\.cache$
 ^stubdom/cross-root-.*$
 ^stubdom/gcc-.*$
 ^stubdom/include$

diff --git a/Makefile b/Makefile
index aa3c7bdb2507da489323d8d9611d661c5a7b8350..2d3ed82282e011ca5e73154c880aecea9a6be438 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -167,6 +167,7 @@ endif
        rm -rf dist patches/tmp
        for i in $(ALLKERNELS) ; do $(MAKE) $$i-delete ; done
        rm -rf patches/*/.makedep
+       rm -rf config.log config.status config.cache autom4te.cache
 
 # Linux name for GNU distclean
 .PHONY: mrproper

diff --git a/stubdom/Makefile b/stubdom/Makefile
index 970f227ee9717f27681d4f4b36e12c8a72aea4cf..dc7664f11a01d4b9e89311689d3598e03b359083 100644 (file)
--- a/stubdom/Makefile
+++ b/stubdom/Makefile
@@ -548,6 +548,7 @@ downloadclean: patchclean
 .PHONY: distclean
 distclean: downloadclean
        -rm ../config/Stubdom.mk
+       rm -rf config.log config.status config.cache autom4te.cache
 
 ifeq (,$(findstring clean,$(MAKECMDGOALS)))
 $(XEN_ROOT)/config/Stubdom.mk: