On Mon, 1 Dec 2014, Jeff Law wrote: > > diff --git a/gcc/c-family/c.opt b/gcc/c-family/c.opt > > index 8f5d76c..283c632 100644 > > --- a/gcc/c-family/c.opt > > +++ b/gcc/c-family/c.opt > > @@ -1043,6 +1043,9 @@ Instrument only functions marked with bnd_instrument > > attribute. > > static-libmpx > > Driver > > > > +static-libmpxwrappers > > +Driver > Isn't something more needed here?
Driver --help output is still hardcoded in gcc.c rather than using help strings from .opt files. -- Joseph S. Myers jos...@codesourcery.com
