diff options
author | Ian Campbell <ian.campbell@citrix.com> | 2013-01-25 15:04:09 +0000 |
---|---|---|
committer | Ian Campbell <ian.campbell@citrix.com> | 2013-01-25 15:04:09 +0000 |
commit | b59a542f16b073532c7c7a6d4a201706490a346a (patch) | |
tree | 2850af8e4fd325b8d0620025f05430fd0ec68e7b /Makefile | |
parent | 15e64e205e121c1eb18b6a9c1953c82443e4cd5a (diff) | |
download | xen-b59a542f16b073532c7c7a6d4a201706490a346a.tar.gz xen-b59a542f16b073532c7c7a6d4a201706490a346a.tar.bz2 xen-b59a542f16b073532c7c7a6d4a201706490a346a.zip |
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>
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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 |