[<prev] [next>] [<thread-prev] [day] [month] [year] [list]
Message-ID: <CANiq72m2Qk3EQKiPSmBBXwh2zeRBZvVR=QqKodbmj6LFs0FU-g@mail.gmail.com>
Date: Fri, 23 Jan 2026 11:01:05 +0100
From: Miguel Ojeda <miguel.ojeda.sandonis@...il.com>
To: chenmiao <chenmiao@...natom.club>
Cc: tamird@...il.com, da.gomez@...sung.com,
hust-os-kernel-patches@...glegroups.com, linux-kernel@...r.kernel.org,
rust-for-linux@...r.kernel.org
Subject: Re: [PATCH v2] Makefile: Remove the product of pin_init cleanly in mrporper
On Fri, Oct 31, 2025 at 3:32 AM chenmiao <chenmiao@...natom.club> wrote:
>
> 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@...t.edu.cn>
> Signed-off-by: chenmiao <chenmiao@...natom.club>
Applied to `rust-fixes` -- thanks everyone!
[ Fixed tags as discussed. Reworded slightly. - Miguel ]
Cheers,
Miguel
Powered by blists - more mailing lists