William Seurer via Gcc <gcc@gcc.gnu.org> writes:
> On 7/28/20 9:48 AM, Andreas Schwab wrote:
>> On Jul 28 2020, William Seurer via Gcc wrote:
>>
>>> make -k check-ada RUNTESTFLAGS=gnat.exp=gnat.dg/opt86a.adb
>> gnat.exp isn't a testsuite driver, it's a lib file. You want to use
>> dg.exp instead.
>
>
> Thanks. That did run the specific test I wanted BUT also ran thousands
> more.
>
> # of expected passes 2320
> # of unexpected failures 0
> # of expected passes 2
> # of unexpected failures 1
Just omit the "gnat.dg/" prefix above: the pathnames after some driver
file (dg.exp) are relative to the directory that file lives in.
Rainer
--
-----------------------------------------------------------------------------
Rainer Orth, Center for Biotechnology, Bielefeld University
