aboutsummaryrefslogtreecommitdiff
path: root/scripts/picosat-959/configure
diff options
context:
space:
mode:
authorKarel Kočí <cynerd@email.cz>2015-08-03 10:42:25 +0200
committerKarel Kočí <cynerd@email.cz>2015-08-12 10:22:55 +0200
commitc64debd5c6831bd0437b7ce750a192fb67319a48 (patch)
tree0879d1575be644f1bddc1aac27e2534c815de2b6 /scripts/picosat-959/configure
parent057cc2ca4602f82a62987e7c5687942d0a7d3e4f (diff)
downloadlinux-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