diff options
Diffstat (limited to 'stubdom/Makefile')
| -rw-r--r-- | stubdom/Makefile | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/stubdom/Makefile b/stubdom/Makefile index f316d4e985..32f0daf63d 100644 --- a/stubdom/Makefile +++ b/stubdom/Makefile @@ -546,8 +546,7 @@ downloadclean: patchclean .PHONY: distclean distclean: downloadclean - -rm ../config/Stubdom.mk - rm -rf config.log config.status config.cache autom4te.cache + rm -rf config.log config.status config.cache autom4te.cache ../config/Stubdom.mk ifeq (,$(findstring clean,$(MAKECMDGOALS))) $(XEN_ROOT)/config/Stubdom.mk: |