A few tweaks.

pull/227/head
Jussi Pakkanen 9 years ago
parent 05d929d542
commit e842e6602c
  1. 1
      interpreter.py
  2. 2
      modules/gnome.py

@ -1577,6 +1577,7 @@ class Interpreter():
raise InterpreterException('Argument "configuration" is not of type configuration_data') raise InterpreterException('Argument "configuration" is not of type configuration_data')
conffile = os.path.join(self.subdir, inputfile) conffile = os.path.join(self.subdir, inputfile)
if conffile not in self.build_def_files:
self.build_def_files.append(conffile) self.build_def_files.append(conffile)
os.makedirs(os.path.join(self.environment.build_dir, self.subdir), exist_ok=True) 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) ifile_abs = os.path.join(self.environment.source_dir, self.subdir, inputfile)

@ -62,7 +62,7 @@ class GnomeModule:
scan_command += ['--namespace='+ns, '--nsversion=' + nsversion, '--warn-all', scan_command += ['--namespace='+ns, '--nsversion=' + nsversion, '--warn-all',
'--output', '@OUTPUT@'] '--output', '@OUTPUT@']
extra_args = kwargs.get('extra_args', []) extra_args = kwargs.pop('extra_args', [])
if not isinstance(extra_args, list): if not isinstance(extra_args, list):
extra_args = [extra_args] extra_args = [extra_args]
scan_command += extra_args scan_command += extra_args

Loading…
Cancel
Save