[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: isremote and unix board special handling question

From: Rob Savoye
Subject: Re: isremote and unix board special handling question
Date: Wed, 28 Nov 2018 18:22:52 -0700
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.2.1

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 -

reply via email to

[Prev in Thread] Current Thread [Next in Thread]