Re: [PATCH] tools/mm: add page_owner_filter to .gitignore

[Lorenzo Stoakes (ARM)]

On Mon, Nov 09, 2026 at 04:31:39PM +0530, Sarthak Sharma wrote:
> Add the missing page_owner_filter to .gitignore in
> tools/mm.
>
> Signed-off-by: Sarthak Sharma <sarthak.sharma@xxxxxxx>

LGTM, so:

Reviewed-by: Lorenzo Stoakes (ARM) <ljs@xxxxxxxxxx>

> ---
>  tools/mm/.gitignore | 1 +
>  1 file changed, 1 insertion(+)
>
> diff --git a/tools/mm/.gitignore b/tools/mm/.gitignore
> index b4ac68a08e1a..2d08f713b664 100644
> --- a/tools/mm/.gitignore
> +++ b/tools/mm/.gitignore
> @@ -2,6 +2,7 @@
>  slabinfo
>  page-types
>  page_owner_sort
> +page_owner_filter
>  thp_swap_allocator_test
>  gup_bench
>  memory-failure/hwpoison-panic
> --
> 2.53.0
>
>
>

--
Cheers, Lorenzo