Doug Evans <dje@google.com> writes: > > +global GDBFLAGS > > This global is unnecessary. > Otherwise the patch is fine by me. It is removed from the updated patch. Pushed in. -- Yao (齐尧)