Re: example of DEJATOOL being a list of names

[Jonah Graham]

Richard Dawe wrote:
> Looking at the Makefile generated, it seems like the check-DEJAGNU target
will
> cope with $(DEJAGNU) containing multiple tools, but the site.exp target
does
> not. I wonder if this is a bug in lib/am/dejagnu.am from the automake
sources.
I believe this is a bug, however I do not yet know enough about dejagnu to
suggest a fix yet. I have submitted a PR, #388.

> How is the tool variable from site.exp used in DejaGNU? Does the --tool
switch
> to DejaGNU override the setting of tool in site.exp? If --tool sets tool,
then
> why do we set in site.exp?
I am working my way through the dejagnu stuff now to try and get a better
idea. In the meantime I did just remove that line from the site.exp and
everything else seems to work correctly (ie it tests my two tools).

Thanks for the help,
Jonah