On Oct 26, 2023, at 5:34 AM, Richard Sandiford <richard.sandif...@arm.com> wrote: > dg-pch.exp handled dg-require-effective-target pch_supported_debug > as a special case, by grepping the source code. This patch tries > to generalise it to other dg-require-effective-targets, and to > dg-skip-if. > > There also seemed to be some errors in check-flags. It used: > > lappend $args [list <elt>] > > which treats the contents of args as a variable name. I think > it was supposed to be "lappend args" instead. From the later > code, the element was supposed to be <elt> itself, rather than > a singleton list containing <elt>. > > We can also save some time by doing the common early-exit first. > > Doing this removes the need to specify the dg-require-effective-target > in both files. Tested by faking unsupported debug and checking that > the tests were still correctly skipped. > > Tested on aarch64-linux-gnu. OK to install?
Ok.
