From 2e878a61d6ebc03ca800a643f5282c8ba1bb1f83 Mon Sep 17 00:00:00 2001
From: Daniel Mejia-Rodriguez <daniel.mejia@pnnl.gov>
Date: Tue, 21 Oct 2025 00:32:43 -0700
Subject: [PATCH] Remove directories

---
 src/tools/GNUmakefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/tools/GNUmakefile b/src/tools/GNUmakefile
index ba713425fe..74180f9684 100644
--- a/src/tools/GNUmakefile
+++ b/src/tools/GNUmakefile
@@ -769,7 +769,7 @@ $(STAMP_DIR):
 
 clean:
 	@test -e $(BUILDDIR)/Makefile && { cd $(BUILDDIR) && $(MAKE) clean; } || echo "Not configured"
-	rm -f build install
+	rm -rf build install
 	rm -f ../mpi_include.txt ../ga*txt
 
 realclean: