aboutsummaryrefslogtreecommitdiff
path: root/scripts/picosat-959/configure
diff options
context:
space:
mode:
authorKarel Kočí <cynerd@email.cz>2015-07-28 10:23:29 +0200
committerKarel Kočí <cynerd@email.cz>2015-07-28 10:23:29 +0200
commitc8a33ffb0aad5ebc2f50045eb8a460daa67f446d (patch)
treeb167757e67dfdb2bd1800f84385dbb0a0430fe4e /scripts/picosat-959/configure
parenta5b46f72ce599f8b03fb82e68fb197606855abae (diff)
downloadlinux-conf-perf-c8a33ffb0aad5ebc2f50045eb8a460daa67f446d.tar.gz
linux-conf-perf-c8a33ffb0aad5ebc2f50045eb8a460daa67f446d.tar.bz2
linux-conf-perf-c8a33ffb0aad5ebc2f50045eb8a460daa67f446d.zip
Allconfig add inv option
Added inv option for generating inverted configurations. Inverted configuration contains configuration options that are not in original configuration file.
Diffstat (limited to 'scripts/picosat-959/configure')
0 files changed, 0 insertions, 0 deletions