aboutsummaryrefslogtreecommitdiff
path: root/scripts/picosat-959/git@cynerd.cz:linux-conf-perf
diff options
context:
space:
mode:
authorKarel Kočí <cynerd@email.cz>2015-09-28 15:45:42 +0200
committerKarel Kočí <cynerd@email.cz>2015-09-28 15:59:05 +0200
commit8cbd482ff0bf58594df2f339b57f22c836494929 (patch)
treebda7a81d8bd97597326b4456bcd7910605591f03 /scripts/picosat-959/git@cynerd.cz:linux-conf-perf
parent2193b4677d9ca4e29dd30d68bd8faebe6586e880 (diff)
downloadlinux-conf-perf-8cbd482ff0bf58594df2f339b57f22c836494929.tar.gz
linux-conf-perf-8cbd482ff0bf58594df2f339b57f22c836494929.tar.bz2
linux-conf-perf-8cbd482ff0bf58594df2f339b57f22c836494929.zip
Add name of configuration option to generator name for single-sat
When generated with single-sat generator, configuration in database haven't had information about what configuration option was used as forced input while generating.
Diffstat (limited to 'scripts/picosat-959/git@cynerd.cz:linux-conf-perf')
0 files changed, 0 insertions, 0 deletions