On 7/28/20 12:04 PM, Andreas Schwab wrote:
There does not appear to be a check-gnat in any of the makefiles. Closest is "check-gnattools"On Jul 28 2020, William Seurer wrote:Thanks. That did run the specific test I wanted BUT also ran thousands more.The acats testsuite doesn't respect RUNTESTFLAGS (it doesn't use the dejagnu framework). If you only want to run the gnat testsuite, use check-gnat.