dejagnu
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH 1/1] Introduce new --log_user option to also send expect logs


From: Filipe Brandenburger
Subject: Re: [PATCH 1/1] Introduce new --log_user option to also send expect logs to stdout
Date: Wed, 6 May 2015 21:47:55 -0700

Hi Ben,

On Wed, May 6, 2015 at 9:30 PM, Ben Elliston <address@hidden> 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



reply via email to

[Prev in Thread] Current Thread [Next in Thread]