Is there a way to run a single ada test? The documentation mentions hows to "run a subset of the tests by specifying which chapter to run" but not individual tests. I tried this (and some variations)
make -k check-ada RUNTESTFLAGS=gnat.exp=gnat.dg/opt86a.adb but it ran a whole bunch of tests actually NOT including the one I wanted.
