diff options
Diffstat (limited to 'scripts/write_config/write.c')
| -rw-r--r-- | scripts/write_config/write.c | 4 |
1 files changed, 3 insertions, 1 deletions
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; } |