On Mon, Nov 24, 2014 at 04:48:58PM -0500, David Malcolm wrote: > It looks to me like this a conflict merger that went awry, and was > then reindented.
Thanks for the careful analysis. You're right, and I've applied this
patch:
commit 3344ec53cc6d06a7436a9760ee6d595565f253c2
Author: Ben Elliston <b...@gnu.org>
Date: Tue Nov 25 09:35:07 2014 +1100
* lib/dejagnu.exp (host_execute): Remove stray leading hyphen.
Reported by David Malcolm.
Cheers, Ben
signature.asc
Description: Digital signature
_______________________________________________ DejaGnu mailing list DejaGnu@gnu.org https://lists.gnu.org/mailman/listinfo/dejagnu
