[PATCH] Add config.log to .gitignore

[Zack Weinberg]

On 2023-03-21 10:10 AM, 荣涛 via Libc-alpha wrote:
>> How the config.log file could ever be here?
> You are right, sorry, my mistake.

I think the patch is desirable anyway.  If someone makes a mistake and
runs configure in the source directory, configure errors out, but it
does so *after* creating config.log in the source directory.  If this
hypothetical someone goes on to create a separate build directory and
do some hacking, and eventually runs 'git commit -a' without carefully 
checking what files are new or modified in the source directory, 
config.log could get added to the commit.  Adding config.log to 
.gitignore protects against this chain of human errors.

zw