Confirmed users
333
edits
(Removing obsolete linux64-gyp, add missing linux64-asan, add missing linux64-make, add new linux64-fips from bug 1409516) |
(Add SAW to tools.) |
||
| Line 45: | Line 45: | ||
[default is "none" if omitted] | [default is "none" if omitted] | ||
-t clang-format,scan-build,hacl (or "all" or "none") | -t clang-format,scan-build,hacl,saw (or "all" or "none") | ||
[default is "none" if omitted] | [default is "none" if omitted] | ||
| Line 66: | Line 66: | ||
==Tools (-t / --tools)== | ==Tools (-t / --tools)== | ||
The currently available tools are <code>clang-format</code>, <code>scan-build</code>. Specify any combination of those, like <code>-t clang-format,scan-build</code>, to choose the tools to run with your patch. If you want to run all tools use <code>-t all</code>, if you want no tools use <code>-t none</code>. | The currently available tools are <code>clang-format</code>, <code>scan-build</code>, <code>hacl</code>, <code>saw</code>. Specify any combination of those, like <code>-t clang-format,scan-build</code>, to choose the tools to run with your patch. If you want to run all tools use <code>-t all</code>, if you want no tools use <code>-t none</code>. | ||
==Extra builds (-e / --extra-builds)== | ==Extra builds (-e / --extra-builds)== | ||