On 03/09/11 05:47, ras...@copperheadsystems.com wrote: > whether dejagnu supports Linux.
Yes, of course it does.
- rob -
_______________________________________________
DejaGnu mailing list
DejaGnu@gnu.org
http://lists.gnu.org/mailman/listinfo/dejagnu
