> > Well, that's certainly surprising, since check-ada is not part of check-gcc, > > but only part of make check. > > make check-gcc at toplevel runs make check in the gcc directory. I see. I guess the check-ada rule could check whether RUNTESTFLAGS is non null and do nothing if this is the case. Arno