From 9a1f3ff8fbff9dd418242eefa7aa69dfd38609c5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= <cynerd@email.cz>
Date: Mon, 4 May 2015 22:47:00 +0200
Subject: Add some configuration options and clean write_conf

---
 scripts/write_config/solution.c | 11 ++++-------
 1 file changed, 4 insertions(+), 7 deletions(-)

(limited to 'scripts/write_config/solution.c')

diff --git a/scripts/write_config/solution.c b/scripts/write_config/solution.c
index a8d9fc7..f575864 100644
--- a/scripts/write_config/solution.c
+++ b/scripts/write_config/solution.c
@@ -1,5 +1,6 @@
 #include "solution.h"
 
+extern int exit_status;
 void solution_check(struct symlist *sl, FILE * f) {
     int c;
     // skip first line
@@ -28,20 +29,16 @@ void solution_check(struct symlist *sl, FILE * f) {
                 continue;
             if (sl->array[id - 1].sym == NULL)
                 continue;
-            //tristate val = sym_get_tristate_value(sl->array[id - 1].sym);
-            //sym_set_tristate_value(sl->array[id - 1].sym, neg ? no : yes);
-            //sym_calc_value(sl->array[id - 1].sym);
             if (neg ==
                 (sym_get_tristate_value(sl->array[id - 1].sym) ==
                  no ? true : false))
-                //printf("Ok\n");
             {
-            } else
+            } else {
                 printf("Problem %s=%d/%d\n", sl->array[id - 1].sym->name,
                        !neg,
                        sym_get_tristate_value(sl->array[id - 1].sym));
-            //if (sym_get_tristate_value(sl->array[id - 1].sym) != val)
-            //printf("Change: %s\n", sl->array[id - 1].sym->name);
+                exit_status++;
+            }
         } else {
             if (w_pos >= w_size) {
                 w_size *= 2;
-- 
cgit v1.2.3