topjohnwu/selinux
1
0
Fork 0
mirror of https://github.com/topjohnwu/selinux.git synced 2025-02-08 12:26:50 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

sepolicy: generate man pages in parallel

Browse Source 
Generating man pages takes a lot of time. Do it in parallel to speed up
the process.

Signed-off-by: Ondrej Mosnacek <omosnace@redhat.com>
This commit is contained in:
Ondrej Mosnacek 2019-10-18 11:20:05 +02:00 committed by Stephen Smalley
parent b915c7a9d3
commit 7494bb1298
1 changed files with 11 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
python/sepolicy/sepolicy.py
View File

@ -25,6 +25,7 @@ import os
import sys
import selinux
import sepolicy
from multiprocessing import Pool
from sepolicy import get_os_version, get_conditionals, get_conditionals_format_text
import argparse
PROGNAME = "policycoreutils"
@ -326,8 +327,13 @@ def gen_gui_args(parser):
gui.set_defaults(func=gui_run)
def manpage_work(domain, path, root, source_files, web):
from sepolicy.manpage import ManPage
m = ManPage(domain, path, root, source_files, web)
print(m.get_man_page_path())
def manpage(args):
from sepolicy.manpage import ManPage, HTMLManPages, manpage_domains, manpage_roles, gen_domains
from sepolicy.manpage import HTMLManPages, manpage_domains, manpage_roles, gen_domains
path = args.path
if not args.policy and args.root != "/":
@ -340,9 +346,11 @@ def manpage(args):
else:
test_domains = args.domain
p = Pool()
for domain in test_domains:
m = ManPage(domain, path, args.root, args.source_files, args.web)
print(m.get_man_page_path())
p.apply_async(manpage_work, [domain, path, args.root, args.source_files, args.web])
p.close()
p.join()
if args.web:
HTMLManPages(manpage_roles, manpage_domains, path, args.os)