Re: isremote and unix board special handling question

Rob Savoye <[email protected]>
Newsgroups gmane.comp.sysutils.dejagnu.general
Organization Seneca Software & Solar, Inc.
Message-ID <[email protected]>
On 11/28/18 4:26 PM, Jacob Bachmeyer wrote:

> $DEJAGNU and the local init files ($base_dir/site.exp, $objdir/site.exp)
> are loaded independently.  It does not help that both local and global
> init files are named (or default to) "site.exp".  Documenting this is on
> my TODO list.

  The site.exp file is generated by make, and was designed to tie the
Autotools config data and pass it to DejaGnu. Unfortunately I decided to
call all config files site.exp, although the global one is mostly just
defaults. I thought the manual covered this ok (written 20 years ago),
but better documentation is always appreciated, so thanks!

	- rob -

_______________________________________________
DejaGnu mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/dejagnu
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.