diff options
Diffstat (limited to 'Help/command/OPTIONS_SHELL.txt')
| -rw-r--r-- | Help/command/OPTIONS_SHELL.txt | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Help/command/OPTIONS_SHELL.txt b/Help/command/OPTIONS_SHELL.txt index 7f03f4e..4171f01 100644 --- a/Help/command/OPTIONS_SHELL.txt +++ b/Help/command/OPTIONS_SHELL.txt @@ -1,3 +1,6 @@ +Option De-duplication +^^^^^^^^^^^^^^^^^^^^^ + The final set of options used for a target is constructed by accumulating options from the current target and the usage requirements of its dependencies. The set of options is de-duplicated to avoid repetition. |