aboutsummaryrefslogtreecommitdiff
path: root/scripts/picosat-959/configure
diff options
context:
space:
mode:
authorKarel Kočí <cynerd@email.cz>2015-08-28 17:45:26 +0200
committerKarel Kočí <cynerd@email.cz>2015-08-28 17:45:26 +0200
commit21d73b4159d65ec1279ed603bc67f32fb8346f37 (patch)
tree5cc41ba8fb8e1663c620364d7e0f6ccfe5a02022 /scripts/picosat-959/configure
parent2fc5841f903699c04b31a5fef2561639e03fc4dd (diff)
downloadlinux-conf-perf-21d73b4159d65ec1279ed603bc67f32fb8346f37.tar.gz
linux-conf-perf-21d73b4159d65ec1279ed603bc67f32fb8346f37.tar.bz2
linux-conf-perf-21d73b4159d65ec1279ed603bc67f32fb8346f37.zip
Reimplement fromfolder script
Removing configuration options from configuration file according to definition folder. New implementation allows to specify required configuration options that shouldn't be removed in any case.
Diffstat (limited to 'scripts/picosat-959/configure')
0 files changed, 0 insertions, 0 deletions