Hi Christoph, > > On Thu, 14 Feb 2019 at 19:27, Tamar Christina <tamar.christ...@arm.com> > wrote: > > > > Hi All, > > > > This patch fixes a failing testcase due to a use of dg-options instead > > of dg-additional-options. > > > Makes sense. > It doesn't fail in any of the configurations I test though, in what case do > you > see it failing? >
It's failing on a system with a very old dejagnu version because dg-options isn't working as documented there and the options were being overridden. Regards, Tamar > > Committed under the GCC obvious > > > > Bootstrapped Regtested on arm-none-eabi and no issues. > > > > Ok for trunk? > > > > Thanks, > > Tamar > > > > gcc/testsuite/ChangeLog: > > > > 2019-02-14 Tamar Christina <tamar.christ...@arm.com> > > > > * gcc.target/arm/pr88850.c: change options to additional option. > > > > --
