> 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
signature.asc
Description: PGP signature
_______________________________________________ DejaGnu mailing list DejaGnu@gnu.org https://lists.gnu.org/mailman/listinfo/dejagnu