]> rtime.felk.cvut.cz Git - linux-conf-perf.git/commit
projects / linux-conf-perf.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3adf6c6) | patch
Fix if generated existing configuration
authorKarel Kočí <cynerd@email.cz>
Wed, 12 Aug 2015 13:48:19 +0000 (15:48 +0200)
committerKarel Kočí <cynerd@email.cz>
Thu, 13 Aug 2015 08:12:20 +0000 (10:12 +0200)
commitdf5b3585299628def438de1b7569b0677491ea34
tree2c0157c1bd478b2407daea4762d505234180300ctree | snapshot
parent3adf6c6ffefbb1b0850401f3415d321ef2d2e42ccommit | diff
Fix if generated existing configuration

When some generator tries to register already generated solution, it
shouldn't be registered.
scripts/configurations.py diff | blob | history
Automated overhead analysis of Linux configuration options