| commit | 7494bb1298b34396f556d8a54bc5edad1c0cfdf2 | [log] [tgz] |
|---|---|---|
| author | Ondrej Mosnacek <[email protected]> | Fri Oct 18 11:20:05 2019 +0200 |
| committer | Stephen Smalley <[email protected]> | Mon Oct 21 08:40:53 2019 -0400 |
| tree | c27c52fdcaba1a1cd97dd424b1b84f15b437dda1 | |
| parent | b915c7a9d3304aa1fb91f8999f3bb257fe45205d [diff] |
sepolicy: generate man pages in parallel Generating man pages takes a lot of time. Do it in parallel to speed up the process. Signed-off-by: Ondrej Mosnacek <[email protected]>