minikconf: fix type mismatch in do_declaration

The set stores strings, not Vars.  Because of this the duplicate
definition check did not work.

Reviewed-by: Marc-André Lureau <marcandre.lureau@redhat.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>

diff --git a/scripts/minikconf.py b/scripts/minikconf.py
index 668de577d09738b7ef0a016338638b55a8fe548c..2656d3649205da81b306e01efaeb054d8b86d560 100644 (file)
--- a/scripts/minikconf.py
+++ b/scripts/minikconf.py
@@ -262,8 +262,8 @@ class KconfigData:
     # semantic actions -------------
 
     def do_declaration(self, var):
-        if (var in self.defined_vars):
-            raise KconfigDataError('variable "' + var + '" defined twice')
+        if var.name in self.defined_vars:
+            raise KconfigDataError('variable "%s" defined twice' % var.name)
 
         self.defined_vars.add(var.name)