diff options
| -rw-r--r-- | command/config.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/command/config.py b/command/config.py index b6f5ad1d..3bd537a6 100644 --- a/command/config.py +++ b/command/config.py @@ -151,7 +151,8 @@ class config (Command): library_dirs=library_dirs, target_lang=lang) - prog = prog + self.compiler.exe_extension + if self.compiler.exe_extension is not None: + prog = prog + self.compiler.exe_extension self.temp_files.append(prog) return (src, obj, prog) |