[PATCH] Makefile: Remove the product of pin_init cleanly in mrporper

From: chenmiao

Date: Thu Oct 30 2025 - 05:07:55 EST


When I enabled Rust compilation, I wanted to clean up its output, so I
used make clean and make mrproper. However, I was still able to find that
libpin_init_internal.so in the rust directory was not deleted, while
all other corresponding outputs were cleared.

If this is an intentional design, I will drop this commit.

Reviewed-by: Dongliang Mu <dzm91@xxxxxxxxxxx>
Signed-off-by: chenmiao <chenmiao@xxxxxxxxxxxxx>
---
Makefile | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index b34a1f4c03967..f43a70413a6aa 100644
--- a/Makefile
+++ b/Makefile
@@ -1590,7 +1590,7 @@ MRPROPER_FILES += include/config include/generated \
certs/x509.genkey \
vmlinux-gdb.py \
rpmbuild \
- rust/libmacros.so rust/libmacros.dylib
+ rust/libmacros.so rust/libmacros.dylib rust/libpin_init_internal.so

# clean - Delete most, but leave enough to build external modules
#
--
2.43.0