From c8ad7e25537d1519646c04b7a35ec53a4c7fae57 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Fri, 31 Jan 2020 00:38:06 +0100
Subject: [makefile] Ignore _build_boot directory

PR #11267 reverted commit d21e17ac99dfb2008f2e2bfdb373413490d1ffc7 (of
PR #10695) by error, this reinstates it.
---
 Makefile.make | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'Makefile.make')

diff --git a/Makefile.make b/Makefile.make
index e19053462d..e63a578e37 100644
--- a/Makefile.make
+++ b/Makefile.make
@@ -56,6 +56,7 @@ FIND_SKIP_DIRS:=-not -name . '(' \
   -name "$${GIT_DIR}" -o \
   -name '_build' -o \
   -name '_build_ci' -o \
+  -name '_build_boot' -o \
   -name '_install_ci' -o \
   -name 'gramlib' -o \
   -name 'user-contrib' -o \
@@ -251,7 +252,7 @@ docclean:
 	rm -rf doc/sphinx/_build
 
 archclean: clean-ide optclean voclean plugin-tutorialclean
-	rm -rf _build
+	rm -rf _build _build_boot
 	rm -f $(ALLSTDLIB).*
 
 optclean:
-- 
cgit v1.2.3