diff options
| author | Kees Cook <keescook@chromium.org> | 2013-06-18 23:49:29 +0200 |
|---|---|---|
| committer | Michal Marek <mmarek@suse.cz> | 2013-07-03 15:26:29 +0200 |
| commit | 90d06a46835ba73deffb483970fdc2bffa4bb274 (patch) | |
| tree | 2d0537539192b7db1fe186e50cdad37fc6bd8ec2 /Documentation/coccinelle.txt | |
| parent | scripts/coccinelle: check for field address argument to kfree (diff) | |
| download | linux-90d06a46835ba73deffb483970fdc2bffa4bb274.tar.xz linux-90d06a46835ba73deffb483970fdc2bffa4bb274.zip | |
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: make coccicheck MODE=report V=1 +By default, coccicheck tries to run as parallel as possible. To change +the parallelism, set the J= variable. For example, to run across 4 CPUs: + + make coccicheck MODE=report J=4 + Using Coccinelle with a single semantic patch ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |