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
