diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2013-08-19 13:24:22 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2013-08-19 13:24:22 -0700 |
| commit | 06e7518718115977026830676b80c7279e924b5f (patch) | |
| tree | 6342cb18521deed0fe9b8e7f8de7fcccb6fa07d6 /tools/response_file.py | |
| parent | 41e7af7eeb7f0d0a3991abd7ff87177308570c54 (diff) | |
| parent | 745cbe466448395587ecb5214087bac19c9b1cbe (diff) | |
Merge branch 'incoming'
Diffstat (limited to 'tools/response_file.py')
| -rw-r--r-- | tools/response_file.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/response_file.py b/tools/response_file.py index 312cda73..f19cf8af 100644 --- a/tools/response_file.py +++ b/tools/response_file.py @@ -6,8 +6,8 @@ def create_response_file(args, directory): (response_fd, response_filename) = tempfile.mkstemp(prefix='emscripten_', suffix='.rsp', dir=directory, text=True) response_fd = os.fdopen(response_fd, "w") #print >> sys.stderr, "Creating response file '%s'" % response_filename - args = map(lambda p: p.replace(' ', '').replace('\\', '\\\\').replace('"', '\\"'), args) - response_fd.write(' '.join(args)) + args = map(lambda p: p.replace('\\', '\\\\').replace('"', '\\"'), args) + response_fd.write('"' + '" "'.join(args) + '"') response_fd.close() return response_filename |