]> rtime.felk.cvut.cz Git - linux-conf-perf.git/commit
kconfig2sat: Implement --varopt
authorMichal Sojka <sojkam1@fel.cvut.cz>
Sun, 25 Oct 2015 21:09:21 +0000 (22:09 +0100)
committerMichal Sojka <sojkam1@fel.cvut.cz>
Sun, 25 Oct 2015 21:09:21 +0000 (22:09 +0100)
commita876fa7367341b5af53cb3159385aa304eb46887
tree4c120c0e2f0b4f4183cd74599cbaf1e5891a2d5a
parenta677ea088a7a75f17c3562953351df539b0e5dda
kconfig2sat: Implement --varopt
kconfig2sat/kconfig2sat.cc