[PATCH] Ignore additional build/ directories

[David Holmes]

Hi,

On 31/12/2018 4:43 am, Sergei Ustimenko wrote:
> Hi,
> 
> I was recently building hsdis at src/utils/hsdis and found out that
> the build/ directory here is not ignored. Ignore pattern in .hgignore
> is "^build/" and in .gitignore it is "build/" respectively.
> 
> I wonder if pattern could be extended to ignore at least
> "src/**/build"  like in the patch below:

Nope because:

src/utils/src/build/

exists.

Cheers,
David

> 
> diff --git a/.gitignore b/.gitignore
> --- a/.gitignore
> +++ b/.gitignore
> @@ -1,4 +1,5 @@
>   /build/
> +/src/**/build/**
>   /dist/
>   /.idea/
>   nbproject/private/
> diff --git a/.hgignore b/.hgignore
> --- a/.hgignore
> +++ b/.hgignore
> @@ -1,4 +1,5 @@
>   ^build/
> +^src/.*/build/.*
>   ^dist/
>   ^.idea/
>   nbproject/private/
> 
> 
> 
> Regards,
> Sergei
>