On 03/19/2018 10:25 AM, Luc Van Oostenryck wrote:
> The purpose of the file 'options.md' was rather vague.
> Make it now explicit that it's to document options
> useful for development.
>
> Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@xxxxxxxxx>
also
Reviewed-by: Randy Dunlap <rdunlap@xxxxxxxxxxxxx>
thanks.
> ---
> Documentation/{options.md => dev-options.md} | 7 +++----
> 1 file changed, 3 insertions(+), 4 deletions(-)
> rename Documentation/{options.md => dev-options.md} (74%)
>
> diff --git a/Documentation/options.md b/Documentation/dev-options.md
> similarity index 74%
> rename from Documentation/options.md
> rename to Documentation/dev-options.md
> index 14698a981..23ea21330 100644
> --- a/Documentation/options.md
> +++ b/Documentation/dev-options.md
> @@ -1,8 +1,7 @@
> # Options
>
> -This file is a complement of man page for sparse but meant
> -for options not to be used by sparse itself but by the other
> -tools.
> +This file is a complement of sparse's man page meant to
> +document options only useful for development on sparse itself.
>
> ## Developer options:
>
> @@ -17,7 +16,7 @@ tools.
> * 'mem2reg'
> * 'optim'
>
> -### Internal Representation
> +### Debugging
>
> * '-fdump-ir[=\<pass\>[,\<pass\>...]]'
>
>
--
~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
