diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2013-05-03 13:40:01 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2013-05-03 13:40:01 -0700 |
| commit | 1e3e0e5cf1ab9866faadbce1b1861d9fd79a80fb (patch) | |
| tree | 7219f013034ead2e3926bc83e75ab3191d80db5e /emscripten.py | |
| parent | 6c531cbf21e4b332f963b977434dc897e914ca7b (diff) | |
| parent | 8237fb35bcfb721eefb9c1608856b36a6adb852e (diff) | |
Merge pull request #1126 from imvu/more_embind_updates
More embind updates
Diffstat (limited to 'emscripten.py')
| -rwxr-xr-x | emscripten.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/emscripten.py b/emscripten.py index f4bfed82..924012af 100755 --- a/emscripten.py +++ b/emscripten.py @@ -767,6 +767,7 @@ WARNING: You should normally never use this! Use emcc instead. if keywords.temp_dir is None: temp_files = get_configuration().get_temp_files() + temp_dir = get_configuration().TEMP_DIR else: temp_dir = os.path.abspath(keywords.temp_dir) if not os.path.exists(temp_dir): |