diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2012-04-12 21:51:36 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2012-04-12 21:51:36 -0700 |
| commit | ffae4e81b6eec71922b662eea9a75f5693994cb2 (patch) | |
| tree | 88b00a3920d6f42a7493468dd0248a7eb7060cc4 /tools/shared.py | |
| parent | 3818506c0f6e29e9ce4f73ae053e3c35d4245adb (diff) | |
fix test_firstrun
Diffstat (limited to 'tools/shared.py')
| -rw-r--r-- | tools/shared.py | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/tools/shared.py b/tools/shared.py index 58ca4ca5..ec3e8d09 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -126,6 +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 +try: + TEMP_DIR +except: + print >> sys.stderr, 'TEMP_DIR not defined in ~/.emscripten, using /tmp' + TEMP_DIR = '/tmp' + CANONICAL_TEMP_DIR = os.path.join(TEMP_DIR, 'emscripten_temp') EMSCRIPTEN_TEMP_DIR = None |