> That's ok too. I just thought it would be good to have a target > to build them.
Sure--I'll make that change. Ben
pgpNCjCWhRdKi.pgp
Description: PGP signature
_______________________________________________ DejaGnu mailing list DejaGnu@gnu.org http://lists.gnu.org/mailman/listinfo/dejagnu
