Fix bug in configuration.py

Type inserted to method is str, but threated as int.

diff --git a/scripts/configurations.py b/scripts/configurations.py
index 8391140e86898dcfaab5e36d11936fa5dc9121fb..73af8e2eea3bcb04f14432f259dbeddc49a73817 100644 (file)
--- a/scripts/configurations.py
+++ b/scripts/configurations.py
@@ -76,7 +76,7 @@ def __write_temp_config_file__(con, conf_num):
                        s *= -1
                else:
                        nt = False
-               if s > conf_num:
+               if s > int(conf_num):
                        break;
                if 'NONAMEGEN' in utils.smap[s]: # ignore generated names
                        continue