On 03/18/2018 05:29 AM, Luc Van Oostenryck wrote:
> This two patches add a little of doc for the development
> options -ventry & -vdead.
>
> Luc Van Oostenryck (2):
> doc: options.md is for development
> doc: document the debug flags
>
> Documentation/{options.md => dev-options.md} | 13 +++++++++----
> 1 file changed, 9 insertions(+), 4 deletions(-)
> rename Documentation/{options.md => dev-options.md} (63%)
>
Reviewed-by: Randy Dunlap <rdunlap@xxxxxxxxxxxxx>
thanks,
--
~Randy
--
To unsubscribe from this list: send the line "unsubscribe linux-sparse" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
