diff options
Diffstat (limited to 'scripts/parse_kconfig/parse.c')
-rw-r--r-- | scripts/parse_kconfig/parse.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/parse_kconfig/parse.c b/scripts/parse_kconfig/parse.c index 7de4f2b..54941dc 100644 --- a/scripts/parse_kconfig/parse.c +++ b/scripts/parse_kconfig/parse.c @@ -163,6 +163,8 @@ void cpy_dep() { pw = boolexpr_and(pw, w3); pw = boolexpr_and(pw, w4); } + Dprintf(" CNF:\n"); + doutput_boolexpr(pw, gsymlist); cnf_boolexpr(gsymlist, pw); switch (pw->type) { case BT_TRUE: |