diff options
| author | Karel Kočí <cynerd@email.cz> | 2015-03-22 22:32:45 +0100 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2015-03-22 22:32:45 +0100 |
| commit | 1e7efbabd3d9d90a0a63b056d26e71331cd7dd3f (patch) | |
| tree | 83b95306bc42982e962c75eb88dae05a2e6a1b1d /scripts | |
| parent | 3b4fbaa22233e764f6b94effd1b21c494061d32c (diff) | |
| download | linux-conf-perf-1e7efbabd3d9d90a0a63b056d26e71331cd7dd3f.tar.gz linux-conf-perf-1e7efbabd3d9d90a0a63b056d26e71331cd7dd3f.tar.bz2 linux-conf-perf-1e7efbabd3d9d90a0a63b056d26e71331cd7dd3f.zip | |
Add possibility to hide programs output
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/initialize.py | 6 | ||||
| -rw-r--r-- | scripts/solution.py | 6 |
2 files changed, 10 insertions, 2 deletions
diff --git a/scripts/initialize.py b/scripts/initialize.py index 2895444..87a98b4 100644 --- a/scripts/initialize.py +++ b/scripts/initialize.py @@ -14,7 +14,11 @@ def kconfig_parser(): env['KERNELVERSION'] = 'KERNELVERSION' # hides error wd = os.getcwd() os.chdir(conf.linux_sources) - subprocess.call([conf.kconfig_parser, conf.linux_kconfig_head, conf.build_folder], env=env) + if conf.kconfig_parser_output: + subprocess.call([conf.kconfig_parser, conf.linux_kconfig_head, conf.build_folder, "-v", "-v"], env=env) + else: + subprocess.call([conf.kconfig_parser, conf.linux_kconfig_head, conf.build_folder], env=env) + os.chdir(wd) def gen_requred(): diff --git a/scripts/solution.py b/scripts/solution.py index 0ad1c4f..0ba4d93 100644 --- a/scripts/solution.py +++ b/scripts/solution.py @@ -5,6 +5,7 @@ import subprocess import utils from conf import conf +from exceptions import NoSolution def generate(): """Collect boolean equations from files: rules, solved and required @@ -53,7 +54,10 @@ def generate(): w_file.close() # Execute minisat - subprocess.call(['minisat', w_file.name, conf.solution_file]) + if conf.minisat_output: + subprocess.call(['minisat', w_file.name, conf.solution_file]) + else: + subprocess.call(['minisat', w_file.name, conf.solution_file], stdout=subprocess.DEVNULL) os.remove(w_file.name) |