diff options
| author | Karel Kočí <cynerd@email.cz> | 2015-09-28 15:50:06 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2015-09-28 15:59:32 +0200 |
| commit | ad48f9a5b8b2cbeca052c3dcda7c8b33960a5281 (patch) | |
| tree | 19edcd256a967d483906669df959a1d868385591 /scripts/picosat-959/version.c | |
| parent | 8cbd482ff0bf58594df2f339b57f22c836494929 (diff) | |
| download | linux-conf-perf-ad48f9a5b8b2cbeca052c3dcda7c8b33960a5281.tar.gz linux-conf-perf-ad48f9a5b8b2cbeca052c3dcda7c8b33960a5281.tar.bz2 linux-conf-perf-ad48f9a5b8b2cbeca052c3dcda7c8b33960a5281.zip | |
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)
Diffstat (limited to 'scripts/picosat-959/version.c')
0 files changed, 0 insertions, 0 deletions