Re: [PATCH] tools: gitignore: Fix tools/generated path