diff options
Diffstat (limited to 'stubdom/Makefile')
-rw-r--r-- | stubdom/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/stubdom/Makefile b/stubdom/Makefile index 970f227ee9..dc7664f11a 100644 --- 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: |