diff options
| -rw-r--r-- | scripts/write_config/solution.c | 10 | ||||
| -rw-r--r-- | scripts/write_config/write.c | 4 |
2 files changed, 9 insertions, 5 deletions
diff --git a/scripts/write_config/solution.c b/scripts/write_config/solution.c index 03e3f53..5a82a01 100644 --- a/scripts/write_config/solution.c +++ b/scripts/write_config/solution.c @@ -32,12 +32,14 @@ void solution_set(struct symlist *sl, FILE * f) { if (neg == (sym_get_tristate_value(sl->array[id - 1].sym) == no ? true : false)) - printf("Ok\n"); - else + //printf("Ok\n"); + { + } else printf("Problem %s=%d/%d\n", sl->array[id - 1].sym->name, - !neg, sym_get_tristate_value(sl->array[id - 1].sym)); + !neg, + sym_get_tristate_value(sl->array[id - 1].sym)); //if (sym_get_tristate_value(sl->array[id - 1].sym) != val) - //printf("Change\n"); + //printf("Change: %s\n", sl->array[id - 1].sym->name); } else { if (w_pos >= w_size) { w_size *= 2; diff --git a/scripts/write_config/write.c b/scripts/write_config/write.c index d8e87bf..4bec6aa 100644 --- a/scripts/write_config/write.c +++ b/scripts/write_config/write.c @@ -47,8 +47,8 @@ int main(int argc, char **argv) { textdomain(PACKAGE); conf_parse(file); + //conf_read(def_config_file); conf_read(".config"); - conf_write(".config"); FILE *f = fopen(symbol_map_file, "r"); if (f == NULL) { @@ -66,5 +66,7 @@ int main(int argc, char **argv) { solution_set(sl, f); fclose(f); + conf_write(".config"); + return 0; } |