> The solution presented here has search_and_load_file take a callback
> function, this allows the "has this file been loaded already?" check
> to only be performed for the users that care, while also allowing
> the check to be deferred until we know exactly which file we are
> going to load.  I also include a check specifically to spot the case
> where a tool init file is loaded as a library, and warn about it.

Any comments on this, Jacob?

Cheers,
Ben

Attachment: signature.asc
Description: PGP signature

_______________________________________________
DejaGnu mailing list
DejaGnu@gnu.org
https://lists.gnu.org/mailman/listinfo/dejagnu

Reply via email to