diff options
author | Kees Cook <keescook@chromium.org> | 2013-06-18 17:49:29 -0400 |
---|---|---|
committer | Michal Marek <mmarek@suse.cz> | 2013-07-03 09:26:29 -0400 |
commit | 90d06a46835ba73deffb483970fdc2bffa4bb274 (patch) | |
tree | 2d0537539192b7db1fe186e50cdad37fc6bd8ec2 /Documentation/coccinelle.txt | |
parent | 61cb48c3f93adee633f996dd40ff5267fae55b3a (diff) |
coccicheck: span checks across CPUs
This adds parallelism by default to the "coccicheck" target using
spatch's "-max" and "-index" arguments.
Signed-off-by: Kees Cook <keescook@chromium.org>
Signed-off-by: Nicolas Palix <nicolas.palix@imag.fr>
Signed-off-by: Michal Marek <mmarek@suse.cz>
Diffstat (limited to 'Documentation/coccinelle.txt')
-rw-r--r-- | Documentation/coccinelle.txt | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Documentation/coccinelle.txt b/Documentation/coccinelle.txt index 18de78599dd4..408439d07889 100644 --- a/Documentation/coccinelle.txt +++ b/Documentation/coccinelle.txt | |||
@@ -91,6 +91,11 @@ To enable verbose messages set the V= variable, for example: | |||
91 | 91 | ||
92 | make coccicheck MODE=report V=1 | 92 | make coccicheck MODE=report V=1 |
93 | 93 | ||
94 | By default, coccicheck tries to run as parallel as possible. To change | ||
95 | the parallelism, set the J= variable. For example, to run across 4 CPUs: | ||
96 | |||
97 | make coccicheck MODE=report J=4 | ||
98 | |||
94 | 99 | ||
95 | Using Coccinelle with a single semantic patch | 100 | Using Coccinelle with a single semantic patch |
96 | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ | 101 | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |