[patch+7.5.1] Work around PR libc/13097 "linux-vdso.so.1" #3

[Jan Kratochvil]

On Fri, 23 Nov 2012 12:30:36 +0100, Luis Gustavo wrote:
> I don't know about the others, but i find the name
> "solib_not_found_is_ok" a little odd.

Me too.


> What about "is_ignored_dso", or "ignored_solib_p" or something in those
> veins?

The problem is they are not ignored.


> What about linux-gate(32|64).so?

I have not found any:
	egrep -r 'linux-gate(32|64)' linux

Have you?  Sure the grep above may miss it.


Thanks,
Jan