Hi Ben, On Wed, May 6, 2015 at 9:30 PM, Ben Elliston <[email protected]> wrote: > While I look at this patch, can you please make sure you update the > runtest.1 man page and the other documentation?
Thanks for considering the feature request and taking a look at the patch! Sure, will do... Before I do, though, any opinion for or against the name of the --log_user option? Would another name be more appropriate? Regardless, I'll start looking at the docs and man page, if we end up picking another name, at least I'll know where it needs to be updated. Cheers, Filipe _______________________________________________ DejaGnu mailing list [email protected] https://lists.gnu.org/mailman/listinfo/dejagnu
