diff options
author | Alon Zakai <alonzakai@gmail.com> | 2014-04-29 14:45:40 -0700 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2014-04-29 14:45:40 -0700 |
commit | d5cf59ac87b14eee47e229fe0543c8faa27a2ff4 (patch) | |
tree | b9c849ffd8061189f52f98f16c5ab366ca6205a7 /emcc | |
parent | 9e8d324014afa35df05bdc70ba8f2990909b6d74 (diff) |
support -o with precompiled headers; fixes #2320
Diffstat (limited to 'emcc')
-rwxr-xr-x | emcc | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -1366,7 +1366,9 @@ try: for header in input_files: assert header.endswith(HEADER_ENDINGS), 'if you have one header input, we assume you want to precompile headers, and cannot have source files or other inputs as well: ' + str(input_files) + ' : ' + header args = newargs + shared.EMSDK_CXX_OPTS + input_files - logging.debug("running (for precompiled headers: " + call + ' ' + ' '.join(args)) + if specified_target: + args += ['-o', specified_target] + logging.debug("running (for precompiled headers): " + call + ' ' + ' '.join(args)) execute([call] + args) # let compiler frontend print directly, so colors are saved (PIPE kills that) sys.exit(1) |