diff options
Diffstat (limited to 'interpreter.py')
-rw-r--r-- | interpreter.py | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/interpreter.py b/interpreter.py index edfe59b..472a10c 100644 --- a/interpreter.py +++ b/interpreter.py @@ -1330,6 +1330,13 @@ class Interpreter(): if cross_comp is not None: cross_comp.sanity_check(self.environment.get_scratch_dir()) self.coredata.cross_compilers[lang] = cross_comp + new_options = comp.get_options() + optprefix = lang + '_' + for i in new_options: + if not i.startswith(optprefix): + raise InterpreterException('Internal error, %s has incorrect prefix.' % i) + new_options.update(self.coredata.compiler_options) + self.coredata.compiler_options = new_options mlog.log('Native %s compiler: ' % lang, mlog.bold(' '.join(comp.get_exelist())), ' (%s %s)' % (comp.id, comp.version), sep='') if not comp.get_language() in self.coredata.external_args: (ext_compile_args, ext_link_args) = environment.get_args_from_envvars(comp.get_language()) |