diff options
author | Karel Kočí <cynerd@email.cz> | 2015-09-14 14:51:31 +0200 |
---|---|---|
committer | Karel Kočí <cynerd@email.cz> | 2015-09-14 14:51:31 +0200 |
commit | b2a1688ba8de9cf255d9d55b78d4b80a3a8ca349 (patch) | |
tree | 9301a76b8bf554fc929e0ea65d174c51d1c607dc /.gitignore | |
parent | 5d5df1d903e952ada7dbad726431b0cc25e8f5a8 (diff) | |
download | linux-conf-perf-b2a1688ba8de9cf255d9d55b78d4b80a3a8ca349.tar.gz linux-conf-perf-b2a1688ba8de9cf255d9d55b78d4b80a3a8ca349.tar.bz2 linux-conf-perf-b2a1688ba8de9cf255d9d55b78d4b80a3a8ca349.zip |
Fix multithreading
When multithreading was enabled, same configuration could been build
multiple times. Adding list of built configurations and filtering list
of configurations sourced from database solves this problem. Now script
is aware of configurations that was prepared and not yet been measured.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions