[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: example of DEJATOOL being a list of names
From: |
Jonah Graham |
Subject: |
Re: example of DEJATOOL being a list of names |
Date: |
Thu, 3 Apr 2003 15:02:53 +0100 |
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