]> rtime.felk.cvut.cz Git - linux-conf-perf.git/commit
projects / linux-conf-perf.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2193b46) | patch
Add name of configuration option to generator name for single-sat
authorKarel Kočí <cynerd@email.cz>
Mon, 28 Sep 2015 13:45:42 +0000 (15:45 +0200)
committerKarel Kočí <cynerd@email.cz>
Mon, 28 Sep 2015 13:59:05 +0000 (15:59 +0200)
commit8cbd482ff0bf58594df2f339b57f22c836494929
treebda7a81d8bd97597326b4456bcd7910605591f03tree | snapshot
parent2193b4677d9ca4e29dd30d68bd8faebe6586e880commit | diff
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.
scripts/configurations.py diff | blob | history
Automated overhead analysis of Linux configuration options