diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-03-18 13:19:05 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-03-19 20:34:23 +0100 |
| commit | c44f8d00d04633605cb1a1aa61a949e96f8022aa (patch) | |
| tree | e1d76e488be0b8fe103b299811ccf7b3c14f8002 /Documentation | |
| parent | 334bae855c8e24f30bfaa911265c0d64cab3432d (diff) | |
| download | sparse-dev-c44f8d00d04633605cb1a1aa61a949e96f8022aa.tar.gz | |
doc: options.md is for development
The purpose of the file 'options.md' was rather vague.
Make it now explicit that it's to document options
useful for development.
Reviewed-by: Randy Dunlap <rdunlap@infradead.org>
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'Documentation')
| -rw-r--r-- | Documentation/dev-options.md (renamed from Documentation/options.md) | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/Documentation/options.md b/Documentation/dev-options.md index 14698a98..23ea2133 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\>...]]' |