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. Andreas. -- Andreas Schwab, sch...@linux-m68k.org GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA AEC1 "And now for something completely different."