Re: linux: change tools/vm to tools/mm breaks "make clean" in tools dir

[SeongJae Park]

Forwarding below to mailing lists too, for more context of a patch that I will
send soon.


Thanks,
SJ

On Sat, 15 Apr 2023 21:27:18 +0200 Ricardo Pardini <ricardo@xxxxxxxxxxx> wrote:

> On Sat, Apr 15, 2023 at 7:39=E2=80=AFPM SeongJae Park <sj@xxxxxxxxxx> wrote:
>
> > Thank you very much for this report!  I confirmed the issue can be reproduded
> > on my machine and fixed with below patch.  If you see no problem with the
> > patch, I will post it to the mailing list.
> 
> Thanks SJ!
> I've applied your patch against 6.3-rc6 and I can now `make` in
> `tools` dir again, thus
> 
> Tested-by: Ricardo Pardini <ricardo@xxxxxxxxxxx>
> 
> --
> Ricardo Pardini