Re: [PATCH] Adjust gitignore for /build