[PING 3][PATCH v10] Add pretty printers for the NPTL lock types

[Martin Galvan]

On Wed, Aug 3, 2016 at 3:29 PM, Martin Galvan
<martin.galvan@tallertechnologies.com> wrote:
> If your generated
> PTHREAD_COND_SHARED is also -1, could you please check the value of
> int(self.mutex)?

One more thing: if casting to int throws a Python error, try casting
to long. The comparison should work in both cases though.

And btw, I just noticed that the gdb version regex was just missing an
additional '.+' to capture the distro name. However, just to be safe
I'll take a look at the gdb code to see what other version strings can
it produce.