aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKarel Kočí <cynerd@email.cz>2015-09-28 15:50:06 +0200
committerKarel Kočí <cynerd@email.cz>2015-09-28 15:59:32 +0200
commitad48f9a5b8b2cbeca052c3dcda7c8b33960a5281 (patch)
tree19edcd256a967d483906669df959a1d868385591
parent8cbd482ff0bf58594df2f339b57f22c836494929 (diff)
downloadlinux-conf-perf-ad48f9a5b8b2cbeca052c3dcda7c8b33960a5281.tar.gz
linux-conf-perf-ad48f9a5b8b2cbeca052c3dcda7c8b33960a5281.tar.bz2
linux-conf-perf-ad48f9a5b8b2cbeca052c3dcda7c8b33960a5281.zip
Add information why option can't be measuredHEADmaster
When initialization is executed and measurability checked, only output was that some configuration option can't be measured. This adds message about why. (If it can't be selected or otherwise can't be unselected)
-rwxr-xr-xscripts/initialize.py5
1 files changed, 4 insertions, 1 deletions
diff --git a/scripts/initialize.py b/scripts/initialize.py
index 64f9f2b..877aeba 100755
--- a/scripts/initialize.py
+++ b/scripts/initialize.py
@@ -118,9 +118,12 @@ def checkmeasure():
sf(conf.fixed_file)), [str(-1 * measure)])
try:
configurations.__exec_sat__(tfile1, [], conf_num)
+ except exceptions.NoSolution:
+ print("W: " + utils.smap[measure] + " won't be measured! Can't select.")
+ try:
configurations.__exec_sat__(tfile2, [], conf_num)
except exceptions.NoSolution:
- print("W: " + utils.smap[measure] + " won't be measured!")
+ print("W: " + utils.smap[measure] + " won't be measured! Can't unselect.")
with open(sf(conf.measurechecked_file), 'w') as f:
f.write("Remove this file if you wanna execute check if all configurations can be measured once again.\n")