A couple of baseboard definition files refer to ${prefix_dir}, but I
can't see where this is set. Is this ancient history? Rob?Ben
pgpFGGg0ueMi6.pgp
Description: PGP signature
_______________________________________________ DejaGnu mailing list DejaGnu@gnu.org http://lists.gnu.org/mailman/listinfo/dejagnu
