aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--scripts/parse_kconfig/parse.c11
1 files changed, 11 insertions, 0 deletions
diff --git a/scripts/parse_kconfig/parse.c b/scripts/parse_kconfig/parse.c
index 1a26ef3..7de4f2b 100644
--- a/scripts/parse_kconfig/parse.c
+++ b/scripts/parse_kconfig/parse.c
@@ -164,6 +164,17 @@ void cpy_dep() {
pw = boolexpr_and(pw, w4);
}
cnf_boolexpr(gsymlist, pw);
+ switch (pw->type) {
+ case BT_TRUE:
+ break;
+ case BT_FALSE:
+ Eprintf
+ ("E: Root terms is false. This shouldn't happen.\n");
+ break;
+ default:
+ output_rules_symbol((int) pw->id);
+ output_rules_endterm();
+ }
boolexpr_free(pw);
}
}