]> rtime.felk.cvut.cz Git - linux-conf-perf.git/commit
projects / linux-conf-perf.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0a0e8e1) | patch
permute fix makefile
authorKarel Kočí <cynerd@email.cz>
Thu, 7 May 2015 11:34:33 +0000 (13:34 +0200)
committerKarel Kočí <cynerd@email.cz>
Thu, 7 May 2015 11:34:33 +0000 (13:34 +0200)
commit805662f74dbdeb6517783352c7468ac4e0e52222
treea641702df125751be3901dd39ac521df4cd18e2dtree | snapshot
parent0a0e8e13d3e2263fe36e6ce6107d8637629ca108commit | diff
permute fix makefile
scripts/permute/Makefile diff | blob | history
Automated overhead analysis of Linux configuration options