Hi David, > I tested with gdb 7.10-1 on amd64, and that seems not to be the case. > All of the tests end up exiting 255 instead of 0 or 1. I didn't have time > to dig deeper than that yet.
I didn't remember the return codes, but on amd64, those tests passed. In the meantime, I found the patch for gdb that we need and proposed it to gdb debian maintainers : https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=803440 Fred
