aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKarel Kočí <cynerd@email.cz>2015-03-22 22:32:45 +0100
committerKarel Kočí <cynerd@email.cz>2015-03-22 22:32:45 +0100
commit1e7efbabd3d9d90a0a63b056d26e71331cd7dd3f (patch)
tree83b95306bc42982e962c75eb88dae05a2e6a1b1d
parent3b4fbaa22233e764f6b94effd1b21c494061d32c (diff)
downloadlinux-conf-perf-1e7efbabd3d9d90a0a63b056d26e71331cd7dd3f.tar.gz
linux-conf-perf-1e7efbabd3d9d90a0a63b056d26e71331cd7dd3f.tar.bz2
linux-conf-perf-1e7efbabd3d9d90a0a63b056d26e71331cd7dd3f.zip
Add possibility to hide programs output
-rw-r--r--conf.py4
-rw-r--r--scripts/initialize.py6
-rw-r--r--scripts/solution.py6
3 files changed, 14 insertions, 2 deletions
diff --git a/conf.py b/conf.py
index b006d56..49ac413 100644
--- a/conf.py
+++ b/conf.py
@@ -32,3 +32,7 @@ iteration_file = build_folder + '/iteration'
# Programs paths
kconfig_parser = checkXf(pf('programs/kconfig_parser'), 'You must build programs first.')
+
+# Programs output hide
+kconfig_parser_output = False
+minisat_output = False
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)