Hello Daniel, On Wed, May 10, 2006 at 03:14:52PM -0400, Daniel Jacobowitz wrote: > You would need to use --host_board, most likely.
Oh, yes! This is trivial, yet it took me sooo long to understand! With kind regards, Baurzhan. _______________________________________________ DejaGnu mailing list DejaGnu@gnu.org http://lists.gnu.org/mailman/listinfo/dejagnu
