Hi Sami Thanks for the patch. I think, though, that we are happy working with the tree the way it is (ie. not requiring casual developers to have the autotools installed).
Cheers, Ben _______________________________________________ DejaGnu mailing list DejaGnu@gnu.org https://lists.gnu.org/mailman/listinfo/dejagnu
