Idea from Nicolas Thiery: * automake.texi (Tests): Document DEJATOOL as a list. * dejagnu.am (RUNTESTDEFAULTFLAGS): Use $$tool, not $(DEJATOOL). (check-DEJAGNU): Run runtest in a loop.