Hi Tom, > This fixes a few oddities I found in the gdb build system. > Tested by the buildbot. Thanks for doing that. I looked at the patches, and they look good to me. -- Joel