diff options
| author | Karel Kočí <cynerd@email.cz> | 2015-08-03 10:42:25 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2015-08-12 10:22:55 +0200 |
| commit | c64debd5c6831bd0437b7ce750a192fb67319a48 (patch) | |
| tree | 0879d1575be644f1bddc1aac27e2534c815de2b6 /scripts/picosat-959/configure | |
| parent | 057cc2ca4602f82a62987e7c5687942d0a7d3e4f (diff) | |
| download | linux-conf-perf-c64debd5c6831bd0437b7ce750a192fb67319a48.tar.gz linux-conf-perf-c64debd5c6831bd0437b7ce750a192fb67319a48.tar.bz2 linux-conf-perf-c64debd5c6831bd0437b7ce750a192fb67319a48.zip | |
Add default novaboot target for measuring
Diffstat (limited to 'scripts/picosat-959/configure')
0 files changed, 0 insertions, 0 deletions