From 7a7daa41504061ec2c2e2810aa26aca1e53afade Mon Sep 17 00:00:00 2001
From: Tobias Reiher <reiher@adacore.com>
Date: Tue, 10 Sep 2024 18:29:28 +0200
Subject: [PATCH] Fix cleaning of caches

Ref. eng/recordflux/RecordFlux#1779
---
 Makefile | 12 +++++++-----
 1 file changed, 7 insertions(+), 5 deletions(-)

diff --git a/Makefile b/Makefile
index d80c5f0fb..4e508c630 100644
--- a/Makefile
+++ b/Makefile
@@ -642,11 +642,10 @@ audit: $(RFLX) rapidflux_devel
 
 # --- Clean ---
 
-.PHONY: clean clean_build clean_all
+.PHONY: clean clean_build clean_cache clean_all
 
-clean:
-	rm -rf $(BUILD_DIR) .coverage .coverage.* .hypothesis doc/language_reference/build doc/user_guide/build
-	find -name ".*_cache" -exec rm -vrf {} \;
+clean: clean_build clean_cache
+	rm -rf .coverage .coverage.* .hypothesis doc/language_reference/build doc/user_guide/build
 	$(MAKE) -C examples/apps/wireguard clean
 	$(MAKE) -C examples/apps/ping clean
 	$(MAKE) -C examples/apps/dhcp_client clean
@@ -658,7 +657,10 @@ clean:
 clean_build:
 	rm -rf $(BUILD_DIR)
 
-clean_all: clean clean_build
+clean_cache:
+	find -name ".*_cache" -type d -exec rm -vrf {} +
+
+clean_all: clean
 	$(RM) -r $(DEVEL_VENV) $(POETRY_VENV) $(BIN_DIR) $(GENERATED_DIR) $(CARGO_HOME) rflx/lang rflx/rapidflux*.so pyproject.toml
 	test -d $(LANGKIT_DIR) && touch $(LANGKIT_DIR)/langkit/py.typed || true
 	@$(call remove_repo,$(DEVUTILS_DIR))