diff options
| author | James Gregory <james@james.id.au> | 2013-08-19 14:01:32 -0700 |
|---|---|---|
| committer | James Gregory <james@james.id.au> | 2013-08-19 14:01:32 -0700 |
| commit | afcdfff09f8557ce6810546628733f48d6c45408 (patch) | |
| tree | 9c556c29a0556429dc1b421b2d5abade1915a034 /tools/response_file.py | |
| parent | 46c82708d50e839945fa24094fe352241be6a22e (diff) | |
| parent | cd38275faf739ba151c0aa7abe13703c9b8d8235 (diff) | |
Merge remote-tracking branch 'origin/incoming' into touch_handling
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 |