diff options
| -rw-r--r-- | interpreter.py | 3 | ||||
| -rw-r--r-- | modules/gnome.py | 2 |
2 files changed, 3 insertions, 2 deletions
diff --git a/interpreter.py b/interpreter.py index 78cbf86..3c66f86 100644 --- a/interpreter.py +++ b/interpreter.py @@ -1577,7 +1577,8 @@ class Interpreter(): raise InterpreterException('Argument "configuration" is not of type configuration_data') conffile = os.path.join(self.subdir, inputfile) - self.build_def_files.append(conffile) + if conffile not in self.build_def_files: + self.build_def_files.append(conffile) os.makedirs(os.path.join(self.environment.build_dir, self.subdir), exist_ok=True) ifile_abs = os.path.join(self.environment.source_dir, self.subdir, inputfile) ofile_abs = os.path.join(self.environment.build_dir, self.subdir, output) diff --git a/modules/gnome.py b/modules/gnome.py index f9cd56d..fc3f408 100644 --- a/modules/gnome.py +++ b/modules/gnome.py @@ -62,7 +62,7 @@ class GnomeModule: scan_command += ['--namespace='+ns, '--nsversion=' + nsversion, '--warn-all', '--output', '@OUTPUT@'] - extra_args = kwargs.get('extra_args', []) + extra_args = kwargs.pop('extra_args', []) if not isinstance(extra_args, list): extra_args = [extra_args] scan_command += extra_args |