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

From: chenmiao

Date: Thu Oct 30 2025 - 22:32:58 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.

Dongliang Mu <dzm91@xxxxxxxxxxx>
Signed-off-by: chenmiao <chenmiao@xxxxxxxxxxxxx>
---
Changes in V2:
- Add the `.dylib` to mrproper files.
---
Makefile | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index b34a1f4c03967..b38b2895e1e4a 100644
--- a/Makefile
+++ b/Makefile
@@ -1590,7 +1590,8 @@ 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 rust/libpin_init_internal.dylib

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