diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2012-04-12 14:05:21 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2012-04-12 14:05:21 -0700 |
| commit | 53015391802b686bc6b18aad0e1ccada684a5317 (patch) | |
| tree | 17f8c30b352a0a4c1c11ed8ee587d9454b829aeb /tools/shared.py | |
| parent | c5dbf34c71d104a634b7dfe104d513677254e143 (diff) | |
fix EM_SAVE_DIR
Diffstat (limited to 'tools/shared.py')
| -rw-r--r-- | tools/shared.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/shared.py b/tools/shared.py index 13160713..58ca4ca5 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -126,11 +126,12 @@ JS_OPTIMIZER = path_from_root('tools', 'js-optimizer.js') # Temp dir. Create a random one, unless EMCC_DEBUG is set, in which case use TEMP_DIR/emscripten_temp +CANONICAL_TEMP_DIR = os.path.join(TEMP_DIR, 'emscripten_temp') EMSCRIPTEN_TEMP_DIR = None if os.environ.get('EMCC_DEBUG'): try: - EMSCRIPTEN_TEMP_DIR = os.path.join(TEMP_DIR, 'emscripten_temp') + EMSCRIPTEN_TEMP_DIR = CANONICAL_TEMP_DIR if not os.path.exists(EMSCRIPTEN_TEMP_DIR): os.makedirs(EMSCRIPTEN_TEMP_DIR) except: |