On 7/28/20 2:57 PM, Andreas Schwab wrote:
On Jul 28 2020, William Seurer wrote:

There does not appear to be a check-gnat in any of the makefiles.
See LANG_MAKEFRAGS.

I see some stuff about that (and check-gnat, too) in some of the makefile input files but it doesn't seem to do anything when I run configure (for all languages).  Is there some configure option or environment variable I need to use?  Is it documented somewhere?

Reply via email to