From e842e6602c3a0e5aeac5ecfb4d8bb4fe7bc75093 Mon Sep 17 00:00:00 2001 From: Jussi Pakkanen Date: Fri, 14 Aug 2015 01:24:11 +0300 Subject: A few tweaks. --- interpreter.py | 3 ++- modules/gnome.py | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/interpreter.py b/interpreter.py index 78cbf86a6..3c66f86c3 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 f9cd56d4d..fc3f4083c 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 -- cgit v1.2.3