[xen master] build: simplify clean handling of extras directory

[patchbot@xxxxxxx]

commit 9589296e9c0ef7af352cebd8f6d59732ba2b187e
Author:     Juergen Gross <jgross@xxxxxxxx>
AuthorDate: Fri Nov 3 11:21:28 2023 +0100
Commit:     Jan Beulich <jbeulich@xxxxxxxx>
CommitDate: Fri Nov 3 11:21:28 2023 +0100

    build: simplify clean handling of extras directory
    
    The extras directory is used only as a download target for Mini-OS
    sources. Instead of special handling extras/mini-os* in .gitignore and
    the clean targets, just use extras for that purpose.
    
    So add "extras" to .gitignore and remove it when doing a
    "make distclean".
    
    Signed-off-by: Juergen Gross <jgross@xxxxxxxx>
---
 .gitignore | 2 +-
 Makefile   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/.gitignore b/.gitignore
index 287166f8fc..2cea994934 100644
--- a/.gitignore
+++ b/.gitignore
@@ -63,7 +63,7 @@ docs/man7/
 docs/man8/
 docs/pdf/
 docs/txt/
-extras/mini-os*
+extras/
 install/*
 stubdom/*-minios-config.mk
 stubdom/autom4te.cache/
diff --git a/Makefile b/Makefile
index b93b22c752..a6ca348476 100644
--- a/Makefile
+++ b/Makefile
@@ -246,6 +246,7 @@ clean-docs:
 # clean, but blow away tarballs
 .PHONY: distclean
 distclean: $(TARGS_DISTCLEAN)
+       rm -rf extras
        $(MAKE) -C tools/include distclean
        rm -f config/Toplevel.mk
        rm -rf dist
@@ -265,7 +266,6 @@ distclean-stubdom:
 ifeq (x86_64,$(XEN_TARGET_ARCH))
        XEN_TARGET_ARCH=x86_32 $(MAKE) -C stubdom distclean
 endif
-       rm -rf extras/mini-os extras/mini-os-remote
 
 .PHONY: distclean-docs
 distclean-docs:
--
generated by git-patchbot for /home/xen/git/xen.git#master