diff options
author | lloyd <[email protected]> | 2009-12-01 11:47:17 +0000 |
---|---|---|
committer | lloyd <[email protected]> | 2009-12-01 11:47:17 +0000 |
commit | 78f5726220b637cd8ae117bbcf8ff8d6c8dfeaed (patch) | |
tree | cb41d94ad202f0f0a304de22ba6bc8e6412e1d0d /src/benchmark/info.txt | |
parent | 08cecf6c27b3ae41a20b78b64c2ca21f385a7804 (diff) |
Allow <libs> sections to list multiple OSes for a single lib target, and
ensure that things like this work:
linux -> rt
linux -> someotherlib
Previously this would cause one or the other library to be loaded (more or
less at random depending on how Python's hashing turns out) and not the other.
Diffstat (limited to 'src/benchmark/info.txt')
0 files changed, 0 insertions, 0 deletions