diff options
| author | Karel Kočí <cynerd@email.cz> | 2015-09-18 14:57:55 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2015-09-18 14:57:55 +0200 |
| commit | 49a0027e2a7cda2f3ff1c4f056001f45f22becc4 (patch) | |
| tree | 07802d9520ba877d70f6d8964e55855cd9c292b1 /scripts/picosat-959/README | |
| parent | 4076e6d8f5cbf488267e4d5a339198faa53aa961 (diff) | |
| download | linux-conf-perf-49a0027e2a7cda2f3ff1c4f056001f45f22becc4.tar.gz linux-conf-perf-49a0027e2a7cda2f3ff1c4f056001f45f22becc4.tar.bz2 linux-conf-perf-49a0027e2a7cda2f3ff1c4f056001f45f22becc4.zip | |
Disable multithreading for ryuglab target
Multithreading is problematic and needs fixing. So again it is disabled
for measuring purposes.
Diffstat (limited to 'scripts/picosat-959/README')
0 files changed, 0 insertions, 0 deletions