[PATCH] .gitignore: add linux/linux

[Chen Jingpiao]

On 06/28 12:02, Zhibin Li wrote:
> Ignore directory linux/linux created by workaround from commit 15003d43.

linux/linux directory was introduced by commit v4.22-356-gb27397a7, and
have removed in commit v4.23-11-g15003d43

> ---
>  .gitignore | 1 +
>  1 file changed, 1 insertion(+)
> 
> diff --git a/.gitignore b/.gitignore
> index 13c196d9..757179e7 100644
> --- a/.gitignore
> +++ b/.gitignore
> @@ -34,6 +34,7 @@
>  /libmpers-m32.a
>  /libmpers-mx32.a
>  /libstrace.a
> +/linux/linux
>  /m32_funcs.h
>  /m32_printer_decls.h
>  /m32_printer_defs.h
> -- 
> 2.14.4

--
Chen Jingpiao