[PATCH 10/13] make: delete files in generated/

From

Ezekiel Newren via GitGitGadget <gitgitgadget@gmail.com>

Date

Nov 27, 2025, 01:10 UTC

Message-ID

<72429e04843a90e3cf9a1d697c1ca7f57de8950f.1764205835.git.gitgitgadget@gmail.com>

In-Reply-To

<pull.2110.git.git.1764205835.gitgitgadget@gmail.com>

From: Ezekiel Newren <ezekielnewren@gmail.com>

Signed-off-by: Ezekiel Newren <ezekielnewren@gmail.com>
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 8a73afca16..6da9db7d83 100644
--- a/Makefile
+++ b/Makefile
@@ -953,7 +953,7 @@ rust-compile:
 	done
 
 rust-clean:
-	$(RM) $(RUST_LIBS) Cargo.lock generated/
+	$(RM) $(RUST_LIBS) Cargo.lock generated/*.h
 	cargo clean
 
 $(GIT_BUILD_DIR)/lib%.a:

-- 
gitgitgadget