diff options
Diffstat (limited to 'llvm/docs/MakefileGuide.html')
| -rw-r--r-- | llvm/docs/MakefileGuide.html | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/llvm/docs/MakefileGuide.html b/llvm/docs/MakefileGuide.html index 5f561f3a978..5e918bf0fd4 100644 --- a/llvm/docs/MakefileGuide.html +++ b/llvm/docs/MakefileGuide.html @@ -841,6 +841,8 @@ <dt><a name="MKDIR"><tt>MKDIR</tt></a><small>(defaulted)</small></dt> <dd>Specifies the path to the <tt>mkdir</tt> tool that creates directories.</dd> + <dt><a name="ONLY_TOOLS"><tt>ONLY_TOOLS</tt></a></dt> + <dd>If set, specifies the list of tools to build.</dd> <dt><a name="PLATFORMSTRIPOPTS"><tt>PLATFORMSTRIPOPTS</tt></a></dt> <dd>The options to provide to the linker to specify that a stripped (no symbols) executable should be built.</dd> |
