rtime.felk.cvut.cz Git - linux-conf-perf.git/commit

]> rtime.felk.cvut.cz Git - linux-conf-perf.git/commit

projects / linux-conf-perf.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 8d24a65) | patch

author	Karel Kočí <cynerd@email.cz>
	Wed, 12 Aug 2015 08:46:27 +0000 (10:46 +0200)
committer	Karel Kočí <cynerd@email.cz>
	Wed, 12 Aug 2015 08:46:27 +0000 (10:46 +0200)
commit	86eb2c8945b952492a99f774262a2aacaaf58776
tree	90dc423d747cf6f6dea833e4c15b1bffbc423415	tree \| snapshot
parent	8d24a65bcd12c8c39e1cbac399623fa8024910ce	commit \| diff

Single configuration generation ensured to generate only single
configuration per execution

scripts/configurations.py		diff \| blob \| history
scripts/exceptions.py		diff \| blob \| history

Automated overhead analysis of Linux configuration options