diff options
| -rw-r--r-- | compilers.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compilers.py b/compilers.py index 06f559e..85b57b3 100644 --- a/compilers.py +++ b/compilers.py @@ -318,8 +318,8 @@ int someSymbolHereJustForFun; def compile(self, code, srcname, extra_args=[]): commands = self.get_exelist() - commands += extra_args commands.append(srcname) + commands += extra_args mlog.debug('Running compile:') mlog.debug('Command line: ', ' '.join(commands)) mlog.debug('Code:\n', code) |